Theorem Nat.coprime.gcd_both

Modification history