§1 — a step towards a violated half-space is point-wise closer to $A$ (equality on $\pi_j$ for $\lambda = 2$)

Initializing...

§1 — a step towards a violated half-space is point-wise closer to $A$ (equality on $\pi_j$ for $\lambda = 2$) · Prove2Me