Has closed discrete subset of size 𝔠 (part 2)#1592

prabau merged 10 commits intomainpi-base/data:mainfrom

p227-part2pi-base/data:p227-part2Copy head branch name to clipboard