Theorem prmssnn

Description: The prime numbers are a subset of the positive integers. (Contributed by AV, 22-Jul-2020)

	Ref	Expression
Assertion	prmssnn	⊢ ℙ ⊆ ℕ

Proof

Step	Hyp	Ref	Expression
1		prmnn	⊢ ( 𝑥 ∈ ℙ → 𝑥 ∈ ℕ )
2	1	ssriv	⊢ ℙ ⊆ ℕ