Theorem PNat.gcd_rel_left'

Modification history