Theorem PNat.one_gcd

Modification history