Theorem Turing.Tape.move_right_nth

Modification history