Theorem Subfield.mem_bot_iff_pow_eq_self

Modification history