Theorem IntermediateField.restrictScalars_adjoin_of_algEquiv

Modification history