Theorem PNat.dvd_gcd

Modification history