MarkB
generic
Sections
NuprlLIB
Doc
Def
(R1
R2)(x,y) == (x R1 y)
(x R2 y)
is mentioned
In prior sections:
mb
nat
MarkB
generic
Sections
NuprlLIB
Doc
R2)(x,y) == (x R1 y) (x R2 y)