Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-10 11:52 24cf723e

View on Github →

feat(ring_theory/polynomial/cyclotomic): generalize is_root_cyclotomic (#10687)

Estimated changes