Theorem IntermediateField.restrictScalars_injective

Modification history