MarkB
generic
Sections
NuprlLIB
Doc
Def
p=
q == (p
q)
(
p
q)
is mentioned
In prior sections:
bool
1
MarkB
generic
Sections
NuprlLIB
Doc
q == (p
q) 
(
pq)