P
Initializing...
Theorem 6:3 — each cg step shortens the error vector, with the exact decrease (6:5) · Prove2Me