Theorem FiberBundle.writtenInExtChartAt_trivializationAt

Modification history

2023-07-24 16:15
Mathlib/Geometry/Manifold/VectorBundle/Basic.lean
feat: lemmas about `writtenInExtChartAt` (#5495)
Added FiberBundle.writtenInExtChartAt_trivializationAtView on Github →