SUPPORTjlc Sections NuprlLIB Doc

Def L(eq)M == xL.x(eq) M

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc