---

Step * of Lemma inclusion-partial2

∀[T:Type]. ∀x:T. (x ∈ partial(T)) supposing value-type(T)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[T:Type].  \mforall{}x:T.  (x  \mmember{}  partial(T))  supposing  value-type(T)


By

---

Latex:
Auto

---

Home Index