Def ChartedSpace.LiftPropAt

Modification history

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

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

Added ChartedSpace.LiftPropAt View on Github →