Theorem IntermediateField.restrictScalars_toSubalgebra

Modification history