Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-24 07:49 a086daa5

View on Github →

chore(ring_theory/polynomial/cyclotomic): use ratfunc (#10421)

Estimated changes