Theorem SkewPolynomial.sum_C_index

Modification history

2026-09-02 15:10

Mathlib/Algebra/SkewPolynomial/Basic.lean

chore(Algebra/SkewMonoidAlgebra): deprecate `sum` (#41403) …

Modified SkewPolynomial.sum_C_index View on Github →

2026-06-01 13:21

Mathlib/Algebra/SkewPolynomial/Basic.lean

feat(Algebra/SkewPolynomial/Basic): add API (#38619) …

Added SkewPolynomial.sum_C_index View on Github →