Theorem SkewMonoidAlgebra.coeff_sum'

Modification history

2026-09-02 15:10
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(Algebra/SkewMonoidAlgebra): deprecate `sum` (#41403) …
Deleted SkewMonoidAlgebra.coeff_sum'View on Github →
2026-07-08 08:56
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(Algebra/SkewMonoidAlgebra): rename the conversion functions to `coeff`/`ofCoeff` (#41365)
Added SkewMonoidAlgebra.coeff_sum'View on Github →