Definitions
array
1
Doc
At:
array
el
wfp
1
1
1
1
1
1.
T:
Type
2.
i:
3.
j:
{i...}
4.
n:
5.
m:
{n...}
6.
a2:
{n..m
}
T
7.
n = i
8.
m = j
9.
k:
{i..j
}
a2(k)
T
By:
Auto
Generated subgoals:
None
}
T}
a2(k) 
T