Theorem irreducible_X_pow_sub_C_iff_of_prime

Modification history

2026-10-29 16:29
Mathlib/FieldTheory/KummerPolynomial.lean
chore(FieldTheory/KummerPolynomial): rename theorems (#45461) …
Added irreducible_X_pow_sub_C_iff_of_primeView on Github →