Toronto + not hyperconnected + finite => has an isolated point#1786

prabau merged 5 commits into

mainpi-base/data:mainfrom

torontoisolatedpi-base/data:torontoisolatedCopy head branch name to clipboard