mathlib
ea0043ca - feat(topology): tiny new lemmas (#7554)

Commit

4 years ago

feat(topology): tiny new lemmas (#7554) from LTE Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

PatrickMassot

Parents