Theorem IntermediateField.isSeparable_adjoin_simple_iff_isSeparable

Modification history