---

Step * of Lemma es-decl-set-domain_wf

∀[dd:DeclSet]. (|dd| ∈ Id List)
BY
{ (RepUR ``es-decl-set es-decl-set-domain`` 0 THEN Auto) }

---

Latex:


\mforall{}[dd:DeclSet].  (|dd|  \mmember{}  Id  List)


By

(RepUR  ``es-decl-set  es-decl-set-domain``  0  THEN  Auto)

---

Home Index