Theorem Int.gcd_emod

Modification history