Theorem tangent_map_chart_symm
Modification history
2020-09-04 11:49
src/geometry/manifold/mfderiv.lean
refactor(geometry/manifold): use a sigma type for the total space of the tangent bundle (#3966) …
Modified tangent_map_chart_symmView on Github →