Theorem Int.gcd_pos_iff

Modification history