Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-16 19:41 189e5386

View on Github →

feat(geometry/manifold): stab at diffeomorphisms (#4351)

Estimated changes

Created src/geometry/manifold/diffeomorph.lean

added def diffeomorph

added theorem times_diffeomorph.coe_eq_to_equiv

added structure times_diffeomorph

Modified src/topology/homeomorph.lean