Theorem Int.gcd_zero_right

Modification history