Theorem Nat.gcd_sub_self_right

Modification history