Repository navigation

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

Commits on Oct 3, 2026
- fix: make contiguity laws robust to map API changes
  zixiaowang17
  committed
  03854f1
Commits on Oct 4, 2026
- chore: bump mathlib to latest master
  zixiaowang17
  committed
  834653e
Commits on Oct 5, 2026
- chore: update mathlib to latest master
  zixiaowang17
  committed
  78c8919