Theorem IntermediateField.isPurelyInseparable_adjoin_iff_pow_mem

Modification history