Theorem PNat.gcd_comm

Modification history