Theorem Turing.Tape.write_nth

Modification history