Theorem Nat.gcd_add_mul_right_right

Modification history