P
Initializing...
Proof of Theorem 4.1 — the sets Q(i) = Y(i) − {x ≻ᵢ x̄ⁱ} are nonempty · Prove2Me