`BookProof.ChapterGaugeMechanicsCharge.chargeQ_homogeneous` {n : ℕ} {p : P} (hp : p.IsHomogeneous n) : chargeQ p = (-Complex.I * (n + 2)) • p

Initializing...

`BookProof.ChapterGaugeMechanicsCharge.chargeQ_homogeneous` {n : ℕ} {p : P} (hp : p.IsHomogeneous n) : chargeQ p = (-Complex.I * (n + 2)) • p · Prove2Me