Theorem polynomial.cyclotomic_coeff_zero
Modification history
2023-01-16 01:14
src/ring_theory/polynomial/cyclotomic/basic.lean
feat(number_theory/divisors): add `nat.cons_self_proper_divisors` (#18176) …
Modified polynomial.cyclotomic_coeff_zeroView on Github →