Theorem Nat.gcd_self_sub_left

Modification history