Theorem SkewMonoidAlgebra.sum_coeff_single

Modification history

2026-09-02 15:10
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(Algebra/SkewMonoidAlgebra): deprecate `sum` (#41403) …
Added SkewMonoidAlgebra.sum_coeff_singleView on Github →