---

Step * 1 of Lemma interval-presheaf_wf

.....wf..... 
1. x : fset(ℕ)
⊢ λx.x ∈ dma-hom(dM(x);dM(x))
BY
{ Auto }

---

Latex:

---

Latex:
.....wf..... 
1.  x  :  fset(\mBbbN{})
\mvdash{}  \mlambda{}x.x  \mmember{}  dma-hom(dM(x);dM(x))


By

---

Latex:
Auto

---

Home Index