Theorem ModelWithCorners.isInvertible_fderivWithin_extendCoordChange

Modification history

2026-02-27 22:05
Mathlib/Geometry/Manifold/IsManifold/ExtChartAt.lean
feat(Geometry/Manifold): API for extended coordinate changes (#35391) …
Added ModelWithCorners.isInvertible_fderivWithin_extendCoordChangeView on Github →