Theorem Int.natCast_mul_floor_div_cancel

Modification history