---

Step * of Lemma bag-count-empty

∀[eq,x:Top].  ((#x in {}) ~ 0)
BY
{ (xxxAutoxxx THEN Computation) }

---

Latex:

---

Latex:
\mforall{}[eq,x:Top].    ((\#x  in  \{\})  \msim{}  0)


By

---

Latex:
(xxxAutoxxx  THEN  Computation)

---

Home Index