Discrete space of size $2 ^ \mathfrak{c}$#1631

prabau merged 5 commits intomainpi-base/data:mainfrom

discretespacebigpi-base/data:discretespacebigCopy head branch name to clipboard