P
Initializing...
closedHyps_l12 (KFR: the bridge for the Lemma 12 program table `l12prog`) · Prove2Me