cyclotomic): generalize a few results to domains (#10741)

Commit

4 years ago

feat(ring_theory/polynomial/cyclotomic): generalize a few results to domains (#10741) Primarily for flt-regular Co-authored-by: Johan Commelin <johan@commelin.net>

Author

alexjbest

Parents

5a790471

mathlib3 19290257 - feat(ring_theory/polynomial/cyclotomic): generalize a few results to domains (#10741)

mathlib3
19290257 - feat(ring_theory/polynomial/cyclotomic): generalize a few results to domains (#10741)