Theorem dvd_gcd_iff

Modification history