Mathlib v3 is deprecated. Go to Mathlib v4

Def homeomorph.{u

Modification history

2020-05-18 13:38
src/topology/homeomorph.lean
feat(topology/constructions): topology on ulift (#2716)
Added homeomorph.{uView on Github →