`BookProof.ChapterA3.chargeConj_smul` (c : ℂ) (v : Fin 4 → ℂ) : chargeConj (c • v) = conj c • chargeConj v

Initializing...

`BookProof.ChapterA3.chargeConj_smul` (c : ℂ) (v : Fin 4 → ℂ) : chargeConj (c • v) = conj c • chargeConj v · Prove2Me