Def MonoidAlgebra.ofCoeff

Modification history

2026-03-18 11:57
Mathlib/Algebra/MonoidAlgebra/Defs.lean
feat(Algebra/MonoidAlgebra): explicit conversion functions to/from `Finsupp` (#36762) …
Added MonoidAlgebra.ofCoeffView on Github →