Theorem dvd_gcd_mul_of_dvd_mul

Modification history