Theorem map_inv_natCast_smul

Modification history