`BookProof.ChapterGaugeMechanicsCharge.ccr_phi_piStar` (p : P) : (fieldOp 0) (momOp 1 p)

Initializing...

`BookProof.ChapterGaugeMechanicsCharge.ccr_phi_piStar` (p : P) : (fieldOp 0) (momOp 1 p) - (momOp 1) (fieldOp 0 p) = 0 · Prove2Me