Theorem IntermediateField.isPurelyInseparable_adjoin_simple_iff_pow_mem

Modification history