Theorem PNat.Coprime.gcd_mul

Modification history