Mathlib v3 is deprecated. Go to Mathlib v4

Theorem free_non_unital_non_assoc_algebra.hom_ext

Modification history

2022-04-21 03:36
src/algebra/free_non_unital_non_assoc_algebra.lean
feat(algebra/hom/non_unital_alg): introduce notation for non-unital algebra homomorphisms (#13470) …
Modified free_non_unital_non_assoc_algebra.hom_extView 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_algebra.hom_extView on Github →