Theorem contMDiffOn_empty

Modification history

2025-11-12 11:33

Mathlib/Geometry/Manifold/ContMDiff/Defs.lean

feat: add contMDiffOn_empty and friends (#31542) …

Added contMDiffOn_empty View on Github →