---

Step * of Lemma hdataflow-value-type

∀[A,B:Type].  value-type(hdataflow(A;B)) supposing ↓A
BY
{ ((UnivCD THENA Auto) THEN BLemma `valueall-type-value-type` THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[A,B:Type].    value-type(hdataflow(A;B))  supposing  \mdownarrow{}A


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  BLemma  `valueall-type-value-type`  THEN  Auto)

---

Home Index