Def ChartedSpace.LiftProp

Modification history

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

feat: port Geometry.Manifold.LocalInvariantProperties (#3401)

Added ChartedSpace.LiftProp View on Github →