Mathlib v3 is deprecated. Go to Mathlib v4

Theorem diffeomorph.ext

Modification history

2021-03-15 22:29

src/geometry/manifold/diffeomorph.lean

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

Added diffeomorph.ext View on Github →