Theorem PNat.gcd_props

Modification history