Theorem MonoidAlgebra.ofCoeff_injective

Modification history

2026-07-04 08:56

Mathlib/Algebra/MonoidAlgebra/Defs.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified MonoidAlgebra.ofCoeff_injective View on Github →

2026-03-18 11:57

Mathlib/Algebra/MonoidAlgebra/Defs.lean

feat(Algebra/MonoidAlgebra): explicit conversion functions to/from `Finsupp` (#36762) …

Added MonoidAlgebra.ofCoeff_injective View on Github →