P

Initializing...

Lemma 8, p. 22 — if M(p, q, r) ⪰ 0 and q ≤ 0, then p ≥ −√3/2 · Prove2Me