Theorem dvd_mul_gcd_iff_dvd_mul

Modification history