mathlib
c7a35b41 - doc(topology/homeomorph): fixup glaring error (#8092)

Commit

4 years ago

doc(topology/homeomorph): fixup glaring error (#8092) thanks to @kbuzzard for spotting this error in #8086

Author

ericrbg

Parents