IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def is_commutative_sep(A; f) == is_commutative(A; x,z.(f(x,z)))
is mentioned
In prior sections:
IteratedBinops
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
