Theorem two_smul

Modification history