Theorem Int.sq_of_gcd_eq_one

Modification history