Theorem polynomial.cyclotomic_eq_prod_X_pow_sub_one_pow_moebius
Modification history
2021-11-24 07:49
src/ring_theory/polynomial/cyclotomic.lean
chore(ring_theory/polynomial/cyclotomic): use `ratfunc` (#10421)
Modified polynomial.cyclotomic_eq_prod_X_pow_sub_one_pow_moebiusView on Github →