Theorem Int.dvd_of_dvd_mul_right_of_gcd_one

Modification history