Mathlib v3 is deprecated. Go to Mathlib v4

Def free_non_unital_non_assoc_algebra

Modification history

2022-01-06 19:34
src/algebra/free_non_unital_non_assoc_algebra.lean
feat(algebra/{monoid_algebra/basic,free_non_unital_non_assoc_algebra,lie/free}): generalize typeclasses (#11283) …
Modified free_non_unital_non_assoc_algebraView on Github →
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_algebraView on Github →