P
Initializing...
Proof of Proposition 5, p. 30 — the corrected threshold satisfies $\tilde\tau>1$ · Prove2Me