Theorem IntermediateField.mem_restrictScalars

Modification history