free): the universal enveloping algebra of the free Lie algebra is the free associative algebra (#8183)

Commit

4 years ago

feat(algebra/lie/free): the universal enveloping algebra of the free Lie algebra is the free associative algebra (#8183)

Author

ocfnash

Parents