Theorem: coprime_product_comprime (RSAProject/rsaproject.lean)

State before:
x z y : ℕ
hp : Nat.coprime x z
hq : Nat.coprime y z
⊢ Nat.coprime (x * y) z
Tactic:
apply Nat.coprime.mul hp hq
State after:
no goals