Theorem Int.eq_mul_div_of_mul_eq_mul_of_dvd_left

Modification history