P
Initializing...
§2.1, p. 546 — Condition C.1 is equivalent to $M \succeq 0$ · Prove2Me