Skip to content
Run pre-commit and in-place update PR on push

Update Mathlib.lean #61

Sign in to view logs

Update Mathlib.lean

Update Mathlib.lean #61

Triggered via push October 31, 2025 04:05
@CoolRmalCoolRmal
pushed 304babe
uniqueness-riesz
Status Success
Total duration 23s
Artifacts –

pre-commit.yml

on: push
main
20s
main
Fit to window
Zoom out
Zoom in