Theorem gcd_mul_dvd_mul_gcd

Modification history