Step * of Lemma zero-add-sqle

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

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


Latex:


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


By


Latex:
xxxSqReasoningxxx




Home Index