Def SMul.comp.smul

Modification history