Structure StructureGroupoid.LocalInvariantProp

Modification history

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

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

Added StructureGroupoid.LocalInvariantProp View on Github →