---

Step * of Lemma subtype_barSqtype_base

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index