Countably compact hereditarily Lindelof spaces are sequentially compact#1551

prabau merged 5 commits intomainpi-base/data:mainfrom

c-compact-h-Lindelofpi-base/data:c-compact-h-LindelofCopy head branch name to clipboard