Theorem PNat.gcd_rel_left

Modification history