Mathlib v3 is deprecated. Go to Mathlib v4

Theorem free_lie_algebra.rel.neg

Modification history

2022-01-06 19:34
src/algebra/lie/free.lean
feat(algebra/{monoid_algebra/basic,free_non_unital_non_assoc_algebra,lie/free}): generalize typeclasses (#11283) …
Modified free_lie_algebra.rel.negView on Github →
2021-07-01 18:15
src/algebra/lie/free.lean
chore(algebra/lie/free): tidy up after #8153 (#8163) …
Added free_lie_algebra.rel.negView on Github →