Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.image

Modification history

2021-10-06 15:46
src/data/equiv/basic.lean
refactor(data/equiv): split out `./set` from `./basic` (#9560) …
Modified equiv.imageView on Github →
2021-04-14 23:14
src/data/equiv/basic.lean
feat(topological/homeomorph): the image of a set (#7147)
Added equiv.imageView on Github →