Theorem dvd_gcd_mul_iff_dvd_mul

Modification history