Step * of Lemma id-graph_wf

[S:Id List]. (Graph(S) ∈ Type)
BY
(Unfold `id-graph` THEN Auto) }


Latex:


Latex:
\mforall{}[S:Id  List].  (Graph(S)  \mmember{}  Type)


By


Latex:
(Unfold  `id-graph`  0  THEN  Auto)




Home Index