P
Initializing...
Fine Lemma 12 from `ILProp11` (round six, `l12R_fine`) · Prove2Me