MarkB
generic
Sections
NuprlLIB
Doc
Def
ptn_pr(x) == inr(inr(inr(x)))
is mentioned
In prior sections:
mb
basic
MarkB
generic
Sections
NuprlLIB
Doc