mathlib3

f9220866 - feat(ring_theory/polynomial): more operations on polynomials (#679)