Theorem PNat.gcd_one

Modification history