Theorem Num.gcd_to_nat

Modification history