Theorem ContMDiffWithinAt.comp₂_of_eq

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₂_of_eqView on Github →