P

Initializing...

Lemma 13 — projection correction: $\|d\|\le\|g\|$ and $g^\top(x-u)\le d^\top(y-u)$ · Prove2Me