---

Step * of Lemma event_system_typename_wf

event_system_typename() ∈ Type
BY
{ (Unfold `event_system_typename` 0 THEN Auto) }

---

Latex:

---

Latex:
event\_system\_typename()  \mmember{}  Type


By

---

Latex:
(Unfold  `event\_system\_typename`  0  THEN  Auto)

---

Home Index