Theorem IntermediateField.smul_def

Modification history