PrintForm Definitions Turing Sections NuprlLIB Doc

At: blank pi

p:PM{i}. _(p) (p)
By:
Unfold `tm_pi` 0
THEN
BackThru Thm* p:PM{i}. _(p) Void+P(p)
Generated subgoals:

None