Theorem monoid_algebra.alg_hom_ext
Modification history
2020-10-23 20:04
src/algebra/monoid_algebra.lean
chore(*): a few more type-specific ext lemmas (#4741) …
Modified monoid_algebra.alg_hom_extView on Github →2020-10-22 07:48
src/algebra/monoid_algebra.lean
feat(algebra/monoid_algebra): define a non-commutative version of `lift` (#4725) …
Modified monoid_algebra.alg_hom_extView on Github →