Theorem map_rat_smul

Modification history