---

Step * of Lemma union-value-type

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

---

Latex:

---

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


By

---

Latex:
ValueTypeAuto

---

Home Index