PrintForm
Definitions
Turing
Sections
NuprlLIB
Doc
At:
tm
proto
pi
wf
p:PM{i}. P
(p)
Type
By:
ModulePiTac 8 [`tm_q`;`tm_proto_sigma`;`tm_proto_pi`;`tm_blank`;`tm_delta`;`tm_s`;`tm_t`;`tm_r`]
Generated subgoals:
None