Theorem SkewMonoidAlgebra.support_sum

Modification history

2026-09-02 15:10
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
chore(Algebra/SkewMonoidAlgebra): deprecate `sum` (#41403) …
Modified SkewMonoidAlgebra.support_sumView on Github →
2025-09-03 08:57
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
feat(SkewMonoidAlgebra): SkewMonoidAlgebra/Support (#27253) …
Added SkewMonoidAlgebra.support_sumView on Github →