MarkB
generic
Sections
NuprlLIB
Doc
Def
reducible(a) ==
b,c:
.
(b ~ 1) &
(c ~ 1) & a = b
c
is mentioned
In prior sections:
num
thy
1
MarkB
generic
Sections
NuprlLIB
Doc
b,c:
. 
(b ~ 1) & (c ~ 1) & a = b
c