Theorem free_non_unital_non_assoc_algebra.lift_comp_of
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.lift_comp_ofView 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.lift_comp_ofView on Github →