---

Step * of Lemma zero-add-sqle

∀[x:Top]. (0 + x ≤ x)
BY
{ xxxSqReasoningxxx }

1
1. x : Base
2. (0 + x)↓
3. 0 ∈ ℤ
4. x ∈ ℤ
⊢ 0 + x ≤ x

---

Latex:

---

Latex:
\mforall{}[x:Top].  (0  +  x  \mleq{}  x)


By

---

Latex:
xxxSqReasoningxxx

---

Home Index