`BookProof.ChapterGaugeMechanicsCharge.chargeQ_eq_euler` (p : P) : chargeQ p = (-Complex.I) • (eulerOp p + (2 : ℂ) • p)

Initializing...

`BookProof.ChapterGaugeMechanicsCharge.chargeQ_eq_euler` (p : P) : chargeQ p = (-Complex.I) • (eulerOp p + (2 : ℂ) • p) · Prove2Me