FDL
>
PVS
>
Graphs
>
subgraphs
> subgraph_lem
: formula-decl
subgraph_lem: LEMMA
subgraph?
(
subgraph
(
G
,
V
),
G
)
Subproof Addresses
(2 steps)
top :
top 1 :
