PrintForm Definitions Turing Sections NuprlLIB Doc

At: nth config wf

M:PM{i}, C:Config(M), n:. M(C)[n] Config(M)
By:
UnivCD
THEN
NatInd 3
THEN
RecCaseSplit `nth_config`
Generated subgoals:

None