Theorem PNat.Coprime.gcd_mul_left_cancel

Modification history