Theorem IntermediateField.mem_toSubfield

Modification history