Theorem PNat.gcd_dvd_right

Modification history