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