mathlib3

24cf723e - feat(ring_theory/polynomial/cyclotomic): generalize `is_root_cyclotomic` (#10687)