---

Step * of Lemma loopset_wf

loopset() ∈ coSet{i:l}
BY
{ (ProveWfLemma THEN skip{BLemma `fix_wf_coSet`}) }

---

Latex:

---

Latex:
loopset()  \mmember{}  coSet\{i:l\}


By

---

Latex:
(ProveWfLemma  THEN  skip\{BLemma  `fix\_wf\_coSet`\})

---

Home Index