is mentioned
In prior sections: DiscreteMath
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
a {k}
== {p:(a
)| size(a)(p) = k }a {k} == {p:(a)| size(a)(p) = k }