Has closed discrete subset of size 𝔠 (part 3)#1597

yhx-12243 wants to merge 2 commits intomainpi-base/data:mainfrom

p227-part3pi-base/data:p227-part3Copy head branch name to clipboard