Theorem prmssnn

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

	Ref	Expression
Assertion	prmssnn	$$⊢\mathbb{P}\subseteq \mathbb{N}$$

Proof

Step	Hyp	Ref	Expression
1		prmnn	$$⊢x\in \mathbb{P}\to x\in \mathbb{N}$$
2	1	ssriv	$$⊢\mathbb{P}\subseteq \mathbb{N}$$