P
Initializing...
Relocating a Turing machine to more tapes preserves well-formedness · Prove2Me