`BookProof.ChapterA3.chargeConj_add` (u v : Fin 4 → ℂ) : chargeConj (u + v) = chargeConj u + chargeConj v

Initializing...

`BookProof.ChapterA3.chargeConj_add` (u v : Fin 4 → ℂ) : chargeConj (u + v) = chargeConj u + chargeConj v · Prove2Me