Theorem Nat.gcd_sub_self_left

Modification history