mathlib3

3d1d4fbe - feat(data/polynomial/degree/trailing_degree): fixed formatting and streamlined a couple of proofs (#4509)