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

At: adjl-vertex-accum-properties 1
1. A: AdjList
2. T: Type
3. s: T
4. f: TA.sizeT
no_repeats(A.size;upto(0;A.size))
By:
Inst Thm* i,j:. no_repeats(;upto(i;j)) [0;A.size]
THEN
Repeat (ParallelOp -1)
Generated subgoals:

None

About:
natural_numberfunctionuniverseall

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