`BookProof.ChapterWeakValue.weakValue_smul` (c : ℂ) (i f : Fin n → ℂ) (A : Matrix (Fin n) (Fin n) ℂ) : weakValue i f (c • A) = c * weakValue i f A

Initializing...

`BookProof.ChapterWeakValue.weakValue_smul` (c : ℂ) (i f : Fin n → ℂ) (A : Matrix (Fin n) (Fin n) ℂ) : weakValue i f (c • A) = c * weakValue i f A · Prove2Me