mathlib3
d8ef1de0 - feat(topology/separation): add t2_space_iff (#12628)

Commit

4 years ago

feat(topology/separation): add t2_space_iff (#12628) From my formalising mathematics 22 course

Author

kbuzzard

Parents