Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-26 01:20 266d12be

View on Github →

chore(ring_theory/polynomial/bernstein): use ∑ notation (#11060) Also rewrite a proof using calc mode

Estimated changes

modified theorem bernstein_polynomial.sum