P
Initializing...
Lemma 12 (G2): UCLOSR monotonicity of Suc · Prove2Me