---

Step * of Lemma bar_wf_base

bar(Base) ∈ Type
BY
{ (BLemma `bar-wf-base` THEN Auto) }

---

Latex:

---

Latex:
bar(Base)  \mmember{}  Type


By

---

Latex:
(BLemma  `bar-wf-base`  THEN  Auto)

---

Home Index