is mentioned by
![]() ![]() ![]() ![]() ![]() ![]() ![]() Thm* count(x < y in swap(L;n;n+1) | P(x,y)) Thm* = Thm* count(x < y in L | P(x,y))+if P(L[n],L[(n+1)]) ![]() Thm* count(x < y in L | P(x,y))+if P(L[n],L[(n+1)]) ![]() ![]() Thm* count(x < y in L | P(x,y))+if P(L[n],L[(n+1)]) ![]() Thm* count(x < y in L | P(x,y))+if P(L[n],L[(n+1)]) ![]() | [count_pairs_swap] |
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html