Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-28 22:54 13f30e53

View on Github →

feat(geometry/manifold): ext_chart_at is smooth on its source (#6473)

Estimated changes