data
data copied to clipboard
Steen & Seebach space 94 item 4 says that the space is not P9 functionally Hausdorff
@jocelynbell @StevenClontz Note that Steen & Seebach space 94 item 4 says that the space is not P9 (functionally Hausdorff). That is better than quoting the General Reference Chart to assert that the space is not completely regular.
Originally posted by @prabau in https://github.com/pi-base/data/issues/599#issuecomment-2045903434