mathlib
5f098cfd - chore(topology): 2 trivial lemmas (#4968)

Commit

5 years ago

chore(topology): 2 trivial lemmas (#4968) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

urkud

Parents