Theorem IntermediateField.adjoin_le_subfield

Modification history