---

Step * of Lemma le_int-wf-partial2

∀[x,y:partial(ℤ)].  (x ≤z y ∈ partial(𝔹))
BY
{ ((UnivCD THENA Auto) THEN (UnivCD THENA Auto) THEN BLemma `le_int-wf-partial` THEN Auto)⋅ }

---

Latex:

---

Latex:
\mforall{}[x,y:partial(\mBbbZ{})].    (x  \mleq{}z  y  \mmember{}  partial(\mBbbB{}))


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  (UnivCD  THENA  Auto)  THEN  BLemma  `le\_int-wf-partial`  THEN  Auto)\mcdot{}

---

Home Index