`BookProof.FreeFieldConstraint.bracket_antisymm` (a b : R) : bracket a b = - bracket b a · Prove2Me

P

Initializing...

`BookProof.FreeFieldConstraint.bracket_antisymm` (a b : R) : bracket a b = - bracket b a · Prove2Me