mathlib
f2be0d22 - feat(polynomial/cyclotomic): irreducible cyclotomic polynomials are minimal polynomials (#11796)

Commit

3 years ago

feat(polynomial/cyclotomic): irreducible cyclotomic polynomials are minimal polynomials (#11796) from flt-regular Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents

2c5f36c4

mathlib f2be0d22 - feat(polynomial/cyclotomic): irreducible cyclotomic polynomials are minimal polynomials (#11796)

mathlib
f2be0d22 - feat(polynomial/cyclotomic): irreducible cyclotomic polynomials are minimal polynomials (#11796)