PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjm to adjl wf
m:AdjMatrix. adjm_to_adjl(m) AdjList
By:
Unfold `adjm_to_adjl` 0
THEN
DAdjMatrix 1
THEN
Reduce 0
Generated subgoals:

None

About:
memberall

PrintForm Definitions graph 1 3 Sections Graphs Doc