Theorem Nat.gcd_mul_of_coprime_of_dvd

Modification history