Theorem IntermediateField.restrictScalars_adjoin_eq_sup

Modification history