Theorem gcd_eq_nat_gcd

Modification history