Theorem PNat.Coprime.gcd_mul_right_cancel_right

Modification history