mathlib

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

feat(topological/homeomorph): the image of a set (#7147) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>