Theorem Unitization.inl_smul

Modification history