Commit 2024-07-14 18:02 71a2f3ee
View on Github →feat: add perfectly normal (T_6) topological property (#13517) Introduces the final whole-number separation axiom: perfectly normal / $T_6$. Includes a proof that perfectly normal implies completely normal (resp. $T_6$ implies $T_5$). Future work: show all pseudometrizable spaces are perfectly normal (resp. all metrizable spaces are $T_6$).