`BookProof.FreeFieldConstraint.bracket_jacobi` (a b c : R) : bracket (bracket a b) c + bracket (bracket b c) a + bracket (bracket c a) b = 0

Initializing...

`BookProof.FreeFieldConstraint.bracket_jacobi` (a b c : R) : bracket (bracket a b) c + bracket (bracket b c) a + bracket (bracket c a) b = 0 · Prove2Me