Theorem Nat.gcdA_zero_left

Modification history