Theorem AddMonoidAlgebra.lift_of'

Modification history

2023-12-11 09:59
Mathlib/Algebra/MonoidAlgebra/Basic.lean
feat(MonoidAlgebra): add `AddMonoidAlgebra.lift_of'` (#8938) …
Added AddMonoidAlgebra.lift_of'View on Github →