---

Step * of Lemma links-from-to_wf

∀[tg:Id]. ∀[srclocs,dstlocs:Id List].  (links(tg) from srclocs to dstlocs ∈ IdLnk List)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[tg:Id].  \mforall{}[srclocs,dstlocs:Id  List].    (links(tg)  from  srclocs  to  dstlocs  \mmember{}  IdLnk  List)


By

ProveWfLemma

---

Home Index