Theorem PNat.gcd_rel_right'

Modification history