Theorem IntermediateField.inf_toSubfield

Modification history