P
Initializing...
Proposition 8.1 (i), p. 219 — a projection from a complete supervisor is unique · Prove2Me