Theorem Num.gcd_to_nat_aux

Modification history