---

Step * of Lemma face-comp_wf

No Annotations
∀[G:j⊢]. (face-comp() ∈ G ⊢ Compositon(𝔽))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[G:j\mvdash{}].  (face-comp()  \mmember{}  G  \mvdash{}  Compositon(\mBbbF{}))


By

---

Latex:
ProveWfLemma

---

Home Index