P
Initializing...
Proof of Theorem 20, p. 21 — early Y recursion · Prove2Me