`BookProof.ChapterGaugeMechanicsCharge.pderiv_comm_core` (j k : Fin 2) (p : P) : pderiv j (pderiv k p) = pderiv k (pderiv j p)

Initializing...

`BookProof.ChapterGaugeMechanicsCharge.pderiv_comm_core` (j k : Fin 2) (p : P) : pderiv j (pderiv k p) = pderiv k (pderiv j p) · Prove2Me