Mathlib v3 is deprecated. Go to Mathlib v4

Def polynomial.lsum

Modification history

2021-09-08 17:50
src/data/polynomial/coeff.lean
feat(data/polynomial/hasse_deriv): Hasse derivatives (#8998)
Added polynomial.lsumView on Github →