---

Step * 1 of Lemma mset_for_null_lemma


1. f : Top
2. g : Top
3. s : Top
⊢ msFor{g} x ∈ 0{s}
    f[x] ~ e
BY
{ Computation }

---

Latex:

---

Latex:

1.  f  :  Top
2.  g  :  Top
3.  s  :  Top
\mvdash{}  msFor\{g\}  x  \mmember{}  0\{s\}
        f[x]  \msim{}  e


By

---

Latex:
Computation

---

Home Index