cyclotomic): add lemmas about evaluation of cyclotomic polynomials at one (#9910)

Commit

4 years ago

feat(ring_theory/polynomial/cyclotomic): add lemmas about evaluation of cyclotomic polynomials at one (#9910)

Author

alexjbest

Parents