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

At: adjm to adjl graph 1 2 2 2 1 1 1 1 1

1. size:
2. m1: sizesize
3. b: sizesize
4. m1(1of(b),2of(b))
5. (2of(b) upto(0;size))
(2of(b) upto(0;size))

By:
RepeatFor 2 (ParallelOp -1)
THEN
Analyze -1


Generated subgoals:

None

About:
productboolassertnatural_numberapplyfunction

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