---

Step * of Lemma ctt-opr-is_wf

No Annotations
∀[f:CttOp]. ∀[s:Atom].  (ctt-opr-is(f;s) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[f:CttOp].  \mforall{}[s:Atom].    (ctt-opr-is(f;s)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index