Theorem Unitization.snd_smul

Modification history