Theorem Nat.gcd_self_sub_right

Modification history