mathlib
f770d6ef - feat(topology/separation): generalize two lemmas (#11454)

Commit

3 years ago

feat(topology/separation): generalize two lemmas (#11454)

Author

fpvandoorn

fpvandoorn

Parents

Loading