Skip to content

Bump mathlib to latest master and fix compatibility - #49

Merged
zixiaowang17 merged 3 commits into
mainfrom
fix/contiguity-mathlib-map
Oct 5, 2026
Merged

Bump mathlib to latest master and fix compatibility#49
zixiaowang17 merged 3 commits into
mainfrom
fix/contiguity-mathlib-map

chore: update mathlib to latest master

78c8919
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar