(A.8) — with R = C⁻¹, c = y and (A.7) is the dfp update · Prove2Me

P

Initializing...

(A.8) — with R = C⁻¹, c = y and (A.7) is the dfp update · Prove2Me