New theorems with pi-character#1807

felixpernegger merged 14 commits into

mainpi-base/data:mainfrom

JSMassmann/three-new-theoremspi-base/data:JSMassmann/three-new-theoremsCopy head branch name to clipboard