mathlib

0817020b - doc(topology/homeomorph): module docs (#8086)

doc(topology/homeomorph): module docs (#8086) I really wanted to write more, but there's really not much to say about something that is a stronger bijection :b Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>