Theorem exists_gcd_eq_mul_add_mul

Modification history