Skip to content

Bump mathlib dependency to e039464 - #185

Merged
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump
Jul 11, 2026
Merged

Bump mathlib dependency to e039464#185
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to e039464: feat: more API specific to strict gro…

9d0fac8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.