mathlib3

570c293a - feat(data/polynomial/ring_division): Two easy lemmas about polynomials (#4742)

feat(data/polynomial/ring_division): Two easy lemmas about polynomials (#4742) Two easy lemmas from my previous, now splitted, PR. Co-authored-by: jalex-stark <alexmaplegm@gmail.com>