P
Initializing...
Theorem 3.12 — the level set $\{f = f_\infty\}$ contains a point with linearly dependent $G_f$ · Prove2Me