Theorem PNat.Coprime.mul_right

Modification history