Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.order_of_root_cyclotomic_eq

Modification history

2021-12-03 06:35
src/ring_theory/polynomial/cyclotomic.lean
feat(ring_theory/polynomial/cyclotomic): `is_root_cyclotomic_iff` (#10422) …
Deleted polynomial.order_of_root_cyclotomic_eqView on Github →
2021-09-13 06:36
src/ring_theory/polynomial/cyclotomic.lean
chore(ring_theory/polynomial/cyclotomic): fix namespacing (#9116) …
Added polynomial.order_of_root_cyclotomic_eqView on Github →