P
Initializing...
Lemma 4.1 (a): directed unions preserve property (P) · Prove2Me