Theorem FiberBundle.writtenInExtChartAt_trivializationAt_symm

Modification history

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