mathlib3

52b839f3 - feat(data/polynomial): is_unit_C (#2812)