Mathlib v3 is deprecated. Go to Mathlib v4

Def homeomorph.image

Modification history

2022-06-14 13:35
src/topology/homeomorph.lean
feat(topology/homeomorph): add `homeomorph.set.univ` (#14730)
Modified homeomorph.imageView on Github →
2021-04-14 23:14
src/topology/homeomorph.lean
feat(topological/homeomorph): the image of a set (#7147)
Added homeomorph.imageView on Github →