Theorem ContMDiff.curry_left

Modification history

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