P
Initializing...
Proposition 8.1 (iii), p. 219 — the quotient of a complete supervisor is complete · Prove2Me