Commit 2021-07-05 09:56 a8f60ebc
View on Github →feat(algebra/lie/free): the universal enveloping algebra of the free Lie algebra is the free associative algebra (#8183)
feat(algebra/lie/free): the universal enveloping algebra of the free Lie algebra is the free associative algebra (#8183)