P

Initializing...

Lemma 8.2, p. 11 — for A with independent columns, f^A has total curvature at most 1 − 1/κ²(A) · Prove2Me