Mathlib v3 is deprecated. Go to Mathlib v4

Structure diffeomorph

Modification history

2021-03-15 22:29

src/geometry/manifold/diffeomorph.lean

feat(geometry/manifold/diffeomorph): expand API (#6668)

Added diffeomorph View on Github →