---

Step * of Lemma dset_properties

∀[s:DSet]. IsEqFun(|s|;=b)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[s:DSet].  IsEqFun(|s|;=\msubb{})


By

---

Latex:
ProvePropertiesLemma

---

Home Index