mathlib3
3fa61ea4 - feat(algebra/lie/free): construction of free Lie algebras (#8153)

Commit

4 years ago

feat(algebra/lie/free): construction of free Lie algebras (#8153)

Author

ocfnash

ocfnash

Parents

Loading