Mathlib Changelog
v3
Changelog
About
Github
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
Modified
src/ring_theory/polynomial/cyclotomic.lean
modified
theorem
polynomial.cyclotomic_eq_prod_X_pow_sub_one_pow_moebius