Novak space is not countably tight#1540

Moniker1998 merged 3 commits intomainpi-base/data:mainfrom

Novak-space-not-countably-tightpi-base/data:Novak-space-not-countably-tightCopy head branch name to clipboard