P
Initializing...
Lemma 2, injective implies locally monotone · Prove2Me