Theorem contMDiffOn_baseSet_localFrame_coeff

Modification history

2026-07-27 17:36
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
chore(Geometry/Manifold): fix defs with underscores (#42115) …
Deleted contMDiffOn_baseSet_localFrame_coeffView on Github →
2026-02-24 18:27
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
feat: local frames in a vector bundle (#30083) …
Added contMDiffOn_baseSet_localFrame_coeffView on Github →