Theorem IsLocalFrameOn.coeff_sum_eq

Modification history

2025-12-15 22:35
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
chore(Geometry): fix whitespace (#32904) …
Modified IsLocalFrameOn.coeff_sum_eqView on Github →
2025-10-23 10:55
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
feat: local frames in a vector bundle (#30338) …
Added IsLocalFrameOn.coeff_sum_eqView on Github →