---

Step * of Lemma it_wf

⋅ ∈ Unit
BY
{ (Unfolds ``it unit`` 0 THEN Auto{1,3}-1) }

---

Latex:

---

Latex:
\mcdot{}  \mmember{}  Unit


By

---

Latex:
(Unfolds  ``it  unit``  0  THEN  Auto\{1,3\}-1)

---

Home Index