P
Initializing...
Lemma 4.1 (b): extensions preserve property (P) · Prove2Me