Theorem Nat.coprime.dvd_mul_right

Modification history