Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-13 09:36 2d47c1d6

View on Github →

feat(ring_theory/polynomial/cyclotomic/*): ɸₙ(1) = 1 (#10483) (for n not a prime power)

Estimated changes