Theorem Bundle.contMDiffAt_totalSpace_iff

Modification history

2026-11-02 15:00
Mathlib/Geometry/Manifold/VectorBundle/Basic.lean
chore(Geometry/Manifold/VectorBundle): rename iff lemmas about differentiability to mention `iff` (#45588) …
Added Bundle.contMDiffAt_totalSpace_iffView on Github →