Theorem isSplittingField_X_pow_sub_C_of_root_adjoin_eq_top

Modification history