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

Initializing...

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