mathlib
13f30e53 - feat(geometry/manifold): `ext_chart_at` is smooth on its source (#6473)

Commit

4 years ago

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

Author

urkud

urkud

Parents

Loading