---

Step * of Lemma union-valueall-type

∀[A,B:Type].  (valueall-type(A) ⇒ valueall-type(B) ⇒ valueall-type(A + B))
BY
{ ValueTypeAuto }

---

Latex:

---

Latex:
\mforall{}[A,B:Type].    (valueall-type(A)  {}\mRightarrow{}  valueall-type(B)  {}\mRightarrow{}  valueall-type(A  +  B))


By

---

Latex:
ValueTypeAuto

---

Home Index