Theorem Trivialization.contMDiffWithinAt_section

Modification history

2025-07-05 17:25
Mathlib/Geometry/Manifold/VectorBundle/Basic.lean
feat: contMDiffOn_section_of_mem_baseSet (#26678) …
Added Trivialization.contMDiffWithinAt_sectionView on Github →