Theorem Bundle.Trivialization.contMDiffWithinAt_section_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.Trivialization.contMDiffWithinAt_section_iffView on Github →