Theorem Unitization.inr_smul

Modification history