Mathlib v3 is deprecated. Go to Mathlib v4

Theorem free_lie_algebra.rel.add_left

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.add_leftView on Github →
2021-07-01 12:58
src/algebra/lie/free.lean
feat(algebra/lie/free): construction of free Lie algebras (#8153)
Added free_lie_algebra.rel.add_leftView on Github →