Theorem Polynomial.splits_X_pow_nat_card_sub_X

Modification history

2026-03-23 12:40
Mathlib/FieldTheory/Finite/GaloisField.lean
feat(FieldTheory/Finite): irreducible factors of X^q^n - X have degree dividing n (#36414) …
Added Polynomial.splits_X_pow_nat_card_sub_XView on Github →