Theorem 10pos

Description: The number 10 is positive. (Contributed by NM, 5-Feb-2007) (Revised by AV, 8-Sep-2021)

	Ref	Expression
Assertion	10pos	$$⊢0<10$$

Proof

Step	Hyp	Ref	Expression
1		10nn	$$⊢10\in \mathbb{N}$$
2	1	nngt0i	$$⊢0<10$$