Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-03 18:39 f2be0d22

View on Github →

feat(polynomial/cyclotomic): irreducible cyclotomic polynomials are minimal polynomials (#11796) from flt-regular

Estimated changes