P
Initializing...
Generalized Prop. 11, denotation (round six, `progH_correct`) · Prove2Me