Theorem Int.exists_gcd_one'

Modification history