§3, proof of Theorem 3.1, p. 10 — the I and O operations are x ← Aᵀy and y ← Ax

Initializing...

§3, proof of Theorem 3.1, p. 10 — the I and O operations are x ← Aᵀy and y ← Ax · Prove2Me