Def P & Q == PQ

is mentioned by

Thm* i:, j:{i...}, a:[T]Array{i..j}. a.l = i & a.u = j	[p_array_properties]
Def [T]Array{i..j} == {a:[T]Array | a.l = i & a.u = j }	[p_array]

In prior sections: core int 1

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html