Def Diffeomorph.toTransDiffeomorph

Modification history

2023-07-03 05:30

Mathlib/Geometry/Manifold/Diffeomorph.lean

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

Added Diffeomorph.toTransDiffeomorph View on Github →