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

subgraph_smaller: LEMMA subgraph?(SS, G) IMPLIES (size(SS) < = size(G))

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