Commit 2024-05-24 17:05 e1dca1d3
View on Github →feat: add competely normal (non-Hausdorff) property (#12458) This conribution adds a distinct notion of a (non-Hausdorff) completely normal space, and disintangles relevant results that do not require Hausdorff.