---

Step * of Lemma vs_bag_add_empty_lemma

∀f,vs:Top.  (Σ{f | b ∈ {}} ~ 0)
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
\mforall{}f,vs:Top.    (\mSigma{}\{f  |  b  \mmember{}  \{\}\}  \msim{}  0)


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index