Def ChartedSpace.LiftPropOn

Modification history

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

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

Added ChartedSpace.LiftPropOn View on Github →