Theorem irreducible_X_pow_sub_C_of_prime_pow_of_ne_two

Modification history

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