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