Theorem Int.gcd_comm

Modification history