Library
▹
Essentials
▹
Numbers
▹
Natural numbers
▹
Subsets
Proposition 1.8.1.22.6.
Let
n
∈
ℕ
. Then:
ℕ
<
n
⊆
ℕ
≤
n
No proof.