Theorem map_inv_int_cast_smul

Modification history