Theorem SkewPolynomial.coeff_add

Modification history

2026-07-22 16:25
Mathlib/Algebra/SkewPolynomial/Basic.lean
style: fix by on newline (#41794) …
Modified SkewPolynomial.coeff_addView on Github →
2026-06-11 14:51
Mathlib/Algebra/SkewPolynomial/Basic.lean
feat(Algebra/(Skew)Polynomial/Basic): add more API (#38621) …
Added SkewPolynomial.coeff_addView on Github →