Theorem gcd_comm'

Modification history