Theorem IntermediateField.isSeparable_adjoin_simple_iff_separable

Modification history