PrintForm Definitions Turing Sections NuprlLIB Doc

At: tm delta wf 1

p:PM{i}. (p) (p)(P(p)+P(p))(p)(P(p)+P(p))
By: Inst Thm* p:PM{i}. (p) (p)(P(p)+P(p))(p)(P(p)+P(p)) []
Generated subgoals:

None