Theorem contMDiff_zero_iff

Modification history

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