P
Initializing...
Generalized Prop. 11 from formal frames (round six, `prop11H_formal`) · Prove2Me