PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjl-rep wf
AdjListRep Graph Representation
By:
Unfold `adjl-rep` 0
THEN
Reduce 0
Generated subgoals:

None

About:
member

PrintForm Definitions graph 1 3 Sections Graphs Doc