Theorem IntermediateField.fixedField_antitone

Modification history