`BookProof.FreeFieldConstraint.constraint_commutation_identity` (D H A : R) (hDH : bracket D H = 0) : bracket (bracket D A) H =

Initializing...

`BookProof.FreeFieldConstraint.constraint_commutation_identity` (D H A : R) (hDH : bracket D H = 0) : bracket (bracket D A) H = - bracket D (bracket H A) · Prove2Me