Theorem 2le3

Description: 2 is less than or equal to 3. (Contributed by Umit Teoman Dogan, 10-Jun-2026)

	Ref	Expression
Assertion	2le3	$$⊢2\le 3$$

Proof

Step	Hyp	Ref	Expression
1		2re	$$⊢2\in ℝ$$
2		3re	$$⊢3\in ℝ$$
3		2lt3	$$⊢2<3$$
4	1 2 3	ltleii	$$⊢2\le 3$$