PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjm-edge-accum wf
M:AdjMatrix, T:Type, s:T, x:Vertices(adjm-graph(M)), f:(TVertices(adjm-graph(M))T). adjm-edge-accum(M;s',x'.f(s',x');s;x) T
By:
Unfolds [`adjm-edge-accum`;`adjm-graph`] 0
THEN
Reduce 0
Generated subgoals:

None

About:
functionuniversememberall

PrintForm Definitions graph 1 3 Sections Graphs Doc