`BookProof.ChapterWeakValue.weakValue_add` (i f : Fin n → ℂ) (A B : Matrix (Fin n) (Fin n) ℂ) : weakValue i f (A + B) = weakValue i f A + weakValue i f B

Initializing...

`BookProof.ChapterWeakValue.weakValue_add` (i f : Fin n → ℂ) (A B : Matrix (Fin n) (Fin n) ℂ) : weakValue i f (A + B) = weakValue i f A + weakValue i f B · Prove2Me