Mathlib v3 is deprecated. Go to Mathlib v4

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) …
Added monoid_algebra.alg_hom_ext'View on Github →