Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsLocalFrameOn.coeff_apply_of_mem
Modification history
2025-10-23 10:55
Mathlib/Geometry/Manifold/VectorBundle/LocalFrame.lean
feat: local frames in a vector bundle (#30338) …
Added
IsLocalFrameOn.coeff_apply_of_mem
View on Github →