Theorem irreducible_X_pow_sub_C_of_root_adjoin_eq_top

Modification history

2024-01-06 13:21
Mathlib/FieldTheory/KummerExtension.lean
feat: Cyclic extensions are kummer. (#9368)
Added irreducible_X_pow_sub_C_of_root_adjoin_eq_topView on Github →