Theorem Int.gcd_self

Modification history