P
Initializing...
Lemma 4.6 (a): property (P) from quotients separating finite sets · Prove2Me