Nuprl - DiscrMathExt Citations of is_assoc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def is_assoc_sep(A; f) == is_assoc(A; x,y.(f(x,y)))

is mentioned

In prior sections: IteratedBinops

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html