Definitions
array
1
Doc
At:
p
array
wf
1
1
1
1.
T:
Type{i}
2.
i:
3.
j:
{i...}
[T]Array
Type{[i']}
By:
Auto
Generated subgoals:
None
[T]Array 
Type{[i']}