Theorem Nat.gcd_comm

Modification history