P
Initializing...
Proposition A.2 — unique self-adjoint least-change secant update · Prove2Me