FDL > PVS > Graphs > subgraphs > subgraph_vert_sub : formula-decl

subgraph_vert_sub: LEMMA subset?(V, vert(G)) IMPLIES (vert(subgraph(G, V)) = V)

Subproof Addresses (8 steps)
top :
top 1 :
top 1 1 :
top 1 1 1 :
top 1 1 1 1 :
top 1 1 1 1 1 :
top 1 1 1 1 1 1 :
top 1 1 1 1 1 1 1 :