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

change lemma name #93

Sign in to view logs

change lemma name

change lemma name #93

Triggered via push November 4, 2025 22:32
@CoolRmalCoolRmal
pushed 6700dbf
uniqueness-riesz
Status Success
Total duration 23s
Artifacts –

pre-commit.yml

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