Theorem ModelProd.ext

Modification history

2024-01-12 05:34
Mathlib/Geometry/Manifold/ChartedSpace.lean
chore(Geometry/Manifold/ChartedSpace): remove autoImplicit true (#9671) …
Modified ModelProd.extView on Github →
2023-06-24 19:46
Mathlib/Geometry/Manifold/ChartedSpace.lean
feat: port Geometry.Manifold.VectorBundle.Tangent (#5448)
Added ModelProd.extView on Github →