---

Step * of Lemma const_df_ap_lemma

∀a,b:Top.  (constant-dataflow(b)(a) ~ <constant-dataflow(b), b>)
BY
{ (UnivCD THENA Auto) }

1
1. a : Top@i
2. b : Top@i
⊢ constant-dataflow(b)(a) ~ <constant-dataflow(b), b>

---

Latex:

---

Latex:
\mforall{}a,b:Top.    (constant-dataflow(b)(a)  \msim{}  <constant-dataflow(b),  b>)


By

---

Latex:
(UnivCD  THENA  Auto)

---

Home Index