---

Step * of Lemma information-flow_wf

∀[T:Type]. ∀[S:Id List].  (information-flow(T;S) ∈ Type)
BY
{ (Unfold `information-flow` 0 THEN Auto) }

---

Latex:


\mforall{}[T:Type].  \mforall{}[S:Id  List].    (information-flow(T;S)  \mmember{}  Type)


By

(Unfold  `information-flow`  0  THEN  Auto)

---

Home Index