`BookProof.ChapterGaugeMechanicsCharge.ccr_phi_pi` (p : P) : (fieldOp 0) (momOp 0 p) - (momOp 0) (fieldOp 0 p) = Complex.I • p

Initializing...

`BookProof.ChapterGaugeMechanicsCharge.ccr_phi_pi` (p : P) : (fieldOp 0) (momOp 0 p) - (momOp 0) (fieldOp 0 p) = Complex.I • p · Prove2Me