Theorem irreducible_X_pow_mul_sub_C

Modification history

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