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