---

Step * of Lemma sdata-test

∀[a:Atom1]. ∀[x,y:Id].  (<<data(a), data(y)>, data(x)> ∈ SecurityData)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[a:Atom1].  \mforall{}[x,y:Id].    (<<data(a),  data(y)>,  data(x)>  \mmember{}  SecurityData)


By

---

Latex:
Auto

---

Home Index