Theorem Int.mul_cast_floor_div_cancel_of_pos

Modification history