P

Initializing...

Lemma 3.1, p. 263 — ‖Π_X(y) − x‖² + ‖y − Π_X(y)‖² ≤ ‖y − x‖² for x ∈ X · Prove2Me