Mathlib v3 is deprecated. Go to Mathlib v4

Theorem free_lie_algebra.rel.smul_of_tower

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) …
Added free_lie_algebra.rel.smul_of_towerView on Github →