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

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

None

About:
natural_numberfunctionuniverseall

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