Theorem contMDiffOn_zero_iff

Modification history

2024-12-09 08:25
Mathlib/Geometry/Manifold/ContMDiff/Defs.lean
chore: cleanup of manifold files (#19807) …
Added contMDiffOn_zero_iffView on Github →