PrintForm Definitions graph 1 3 Sections Graphs Doc

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

None

About:
functionuniversememberall

PrintForm Definitions graph 1 3 Sections Graphs Doc