Turing Sections NuprlLIB Doc

Def (p) == Void+P(p)

Thm* p:PM{i}. _(p) (p) blank_pi