P
Initializing...
Corollary (p. 12) — $x_0$ minimizes $f$ on $M$ iff $0 \in G(x_0)$ · Prove2Me