Mathlib v3 is deprecated. Go to Mathlib v4

Theorem diffeomorph.coe_to_equiv

Modification history

2021-03-15 22:29

src/geometry/manifold/diffeomorph.lean

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

Added diffeomorph.coe_to_equiv View on Github →