P
Initializing...
Lemma 16 ↔ Proposition 14 (round six, `paper_round_layer`) · Prove2Me