Theorem IsLocalFrameOn.eventually_eq_sum_coeff_smul

Modification history

2025-10-23 10:55
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
feat: local frames in a vector bundle (#30338) …
Added IsLocalFrameOn.eventually_eq_sum_coeff_smulView on Github →