SUPPORTjlc Sections NuprlLIB Doc

Def x f y == f(x,y)

is mentioned

In prior sections: quot 1 rel 1


SUPPORTjlc Sections NuprlLIB Doc