Theorem Int.exists_gcd_one

Modification history