(2steps total) PrintForm Definitions graph 1 3 Sections Graphs Doc

At: eq adjl wf 1
A:AdjList, x,y:Vertices( < vertices = A.size, edges = x:A.size||A.out(x)||, incidence = e. < 1of(e),(A.out(1of(e)))[2of(e)] > > ). (x=y)
By:
Auto
THEN
Analyze -1
THEN
Reduce 0
Generated subgoals:

None

About:
pairproductboolitnatural_numberlambdaapplymemberall

(2steps total) PrintForm Definitions graph 1 3 Sections Graphs Doc