Def Diffeomorph.toHomeomorph

Modification history

2023-07-03 05:30

Mathlib/Geometry/Manifold/Diffeomorph.lean

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

Added Diffeomorph.toHomeomorph View on Github →