---

Step * of Lemma ftype_properties

∀s:DSet. ∀a:MSet{s}. ∀x:FTy{s}(a).  (↑(x ∈b a))
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}s:DSet.  \mforall{}a:MSet\{s\}.  \mforall{}x:FTy\{s\}(a).    (\muparrow{}(x  \mmember{}\msubb{}  a))


By

---

Latex:
ProvePropertiesLemma

---

Home Index