P
Initializing...
Lemma 3.4, p.13 — descent of $\mathcal E(t)=\frac12\|x(t)-z\|^2$ for $z\in A^{-1}(0)$ · Prove2Me