Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-14 23:14 74e1e83e

View on Github →

feat(topological/homeomorph): the image of a set (#7147)

Estimated changes

added def equiv.image
added def homeomorph.image