Definitions
array
1
Doc
At:
array
el
wf
1
1
1
1
1
1.
T:
Type
2.
n:
3.
m:
{n...}
4.
a2:
{n..m
}
T
5.
i:
{n..m
}
a2(i)
T
By:
Auto
Generated subgoals:
None
}
T}
a2(i) 
T