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