Theorem Subfield.roots_X_pow_char_sub_X_bot

Modification history