Theorem star_ratCast_smul

Modification history