Theorem map_int_cast

Modification history