Theorem map_nat_cast_smul

Modification history