Almost discrete toronto space is finite#1620

prabau merged 2 commits intomainpi-base/data:mainfrom

torontoalmostdiscretepi-base/data:torontoalmostdiscreteCopy head branch name to clipboard