P
Initializing...
Centered extraction (Lemma 17) (round six, `extract`) · Prove2Me