Theorem ChartedSpace.liftPropAt_iff

Modification history

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

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

Added ChartedSpace.liftPropAt_iff View on Github →