Theorem PNat.Coprime.coprime_dvd_left

Modification history