---

Step * of Lemma partial_subtype_base

∀T:Type. ((T ⊆r Base) ⇒ (partial(T) ⊆r Base))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}T:Type.  ((T  \msubseteq{}r  Base)  {}\mRightarrow{}  (partial(T)  \msubseteq{}r  Base))


By

---

Latex:
Auto

---

Home Index