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

finite_vert_subset: LEMMA is finite(LAMBDA (i:T) : vert(G)(i) AND V(i))

Subproof Addresses (7 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 :