Def Diffeomorph.toContMDiffMap

Modification history

2023-07-03 05:30

Mathlib/Geometry/Manifold/Diffeomorph.lean

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

Added Diffeomorph.toContMDiffMap View on Github →