PrintForm Definitions Turing Sections NuprlLIB Doc

At: tm delta proto

p:PM{i}. (p) (p)(P(p)+P(p))(p)(P(p)+P(p))
By: ModulePiTac 8 [`tm_q`;`tm_proto_sigma`;`tm_proto_pi`;`tm_blank`;`tm_delta`;`tm_s`;`tm_t`;`tm_r`]
Generated subgoals:

None