Mathlib v3 is deprecated. Go to Mathlib v4

Def add_monoid_algebra.lift_nc_alg_hom

Modification history

2021-01-14 08:39
src/algebra/monoid_algebra.lean
chore(*): split some long lines (#5742)
Modified add_monoid_algebra.lift_nc_alg_homView on Github →
2020-10-28 18:09
src/algebra/monoid_algebra.lean
feat(algebra/monoid_algebra): Bundle lift_nc_mul and lift_nc_one into a ring_hom and alg_hom (#4789)
Added add_monoid_algebra.lift_nc_alg_homView on Github →