---

Step * of Lemma comb_for_ge_wf

λi,j,z. (i ≥ j ) ∈ i:ℤ ⟶ j:ℤ ⟶ (↓True) ⟶ ℙ
BY
{ Auto }

---

Latex:

---

Latex:
\mlambda{}i,j,z.  (i  \mgeq{}  j  )  \mmember{}  i:\mBbbZ{}  {}\mrightarrow{}  j:\mBbbZ{}  {}\mrightarrow{}  (\mdownarrow{}True)  {}\mrightarrow{}  \mBbbP{}


By

---

Latex:
Auto

---

Home Index