mathlib3
39cbe8db - feat(topology/separation): add 2 lemmas about T2.5 spaces (#17224)

Commit

3 years ago

feat(topology/separation): add 2 lemmas about T2.5 spaces (#17224)

Author

urkud

urkud

Parents

Loading