Theorem star_rat_cast_smul

Modification history