Mathlib Changelog
v4
Changelog
About
Github
Theorem
FreeLieAlgebra.Rel.smulOfTower
Modification history
2023-08-10 19:52
Mathlib/Algebra/Lie/Free.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified
FreeLieAlgebra.Rel.smulOfTower
View on Github →
2023-06-08 17:35
Mathlib/Algebra/Lie/Free.lean
feat: port Algebra.Lie.Free (#4863)
Added
FreeLieAlgebra.Rel.smulOfTower
View on Github →