Theorem Int.cast_mul_floor_div_cancel_of_pos

Modification history