Theorem IntermediateField.smul_mem

Modification history