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