bernstein): use `∑` notation (#11060)

Commit

4 years ago

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

Author

urkud

Parents