Def ContinuousLinearEquiv.toDiffeomorph

Modification history

2023-07-03 05:30

Mathlib/Geometry/Manifold/Diffeomorph.lean

feat: port Geometry.Manifold.Diffeomorph (#5660)

Added ContinuousLinearEquiv.toDiffeomorph View on Github →