2021-06-30 20:39
src/algebra/free_non_unital_non_assoc_algebra.lean
feat(algebra/free_non_unital_non_assoc_algebra): construction of the free non-unital, non-associative algebra on a type `X` with coefficients in a semiring `R` (#8141)
Added free_non_unital_non_assoc_algebra.of