Basically disconnected and Tychonoff implies sequentially discrete#1440

prabau merged 1 commit intomainpi-base/data:mainfrom

Basically-disconnected-and-seq-discretepi-base/data:Basically-disconnected-and-seq-discreteCopy head branch name to clipboard