Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring.lie_def

Modification history

2021-02-11 16:21

src/algebra/lie/of_associative.lean

refactor(algebra/lie/of_associative): remove `ring_commutator` namespace; use `ring` instead (#6181) …

Added ring.lie_def View on Github →