---

Step * of Lemma member-has-valueall

∀[a:Base]. Ax ∈ has-valueall(a) supposing has-valueall(a)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[a:Base].  Ax  \mmember{}  has-valueall(a)  supposing  has-valueall(a)


By

---

Latex:
Auto

---

Home Index