Theorem ContMDiffWithinAt.comp₂

Modification history

2025-09-02 08:17
Mathlib/Geometry/Manifold/ContMDiff/Constructions.lean
feat(Geometry/Manifold/ContMDiff): add product lemmas for `ContMDiff` (#28292) …
Added ContMDiffWithinAt.comp₂View on Github →