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

At: adjl-edge-accum-properties 2 1
1. A: AdjList
2. T: Type
3. s: T
4. x: A.size
5. f: TA.sizeT
6. y: A.size
7. i:
8. i < ||A.out(x)||
9. y = (A.out(x))[i]
< x,(A.out(x))[i] > = < x,y >
By: Analyze
Generated subgoals:

None

About:
pairproductnatural_numberless_thanapplyfunctionuniverseequal

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