Theorem Nat.Coprime.mul_add_mul_ne_mul

Modification history