P
Initializing...
Proposition 11 with Lemma 10 discharged (paper's Lemma 10 proof) · Prove2Me