Mathlib v3 is deprecated. Go to Mathlib v4

Def local_homeomorph.eq_on_source

Modification history

2019-09-08 06:22

src/topology/local_homeomorph.lean

feat(topology/local_homeomorph): local homeomorphisms (#1398) …

Added local_homeomorph.eq_on_source View on Github →