Theorem IntermediateField.restrictScalars_bot_eq_self

Modification history