Mathlib Changelog
v4
Changelog
About
Github
Def
FreeLieAlgebra.liftAux
Modification history
2023-06-08 17:35
Mathlib/Algebra/Lie/Free.lean
feat: port Algebra.Lie.Free (#4863)
Added
FreeLieAlgebra.liftAux
View on Github →