Closed prabau closed 1 week ago
Updates for S46 (Interlocking interval topology). Add some missing traits, remove redundant ones, fix some inaccuracies, tighten the exposition.
Includes adding a trait for P165 (pseudonormal), to get an example of pseudonormal, non-normal space: https://topology.pi-base.org/spaces?q=Pseudonormal%2B%7ENormal (admittedly it's a degenerate example, but still ok to have)
Updates for S46 (Interlocking interval topology). Add some missing traits, remove redundant ones, fix some inaccuracies, tighten the exposition.
Includes adding a trait for P165 (pseudonormal), to get an example of pseudonormal, non-normal space: https://topology.pi-base.org/spaces?q=Pseudonormal%2B%7ENormal (admittedly it's a degenerate example, but still ok to have)