Theorem add_monoid_algebra.alg_hom_ext_iff
Modification history
2020-10-22 07:48
src/algebra/monoid_algebra.lean
feat(algebra/monoid_algebra): define a non-commutative version of `lift` (#4725) …
Modified add_monoid_algebra.alg_hom_ext_iffView on Github →