Add three new theorems regarding countable pi-character#1791

felixpernegger merged 15 commits into

mainpi-base/data:mainfrom

JSMassmann/pi-base-extraspi-base/data:JSMassmann/pi-base-extrasCopy head branch name to clipboard