Theorem star_natCast_smul

Modification history