Theorem gcd_dvd_iff_exists

Modification history