Def  {i...} == {j:| ij }

is mentioned by

Thm*  a,k,x:. a {k} {x...}  Type

[sized_mset_wf5]

In prior sections: int 1 int 2 SimpleMulFacts IteratedBinops

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