Theorem Turing.Tape.move_left_mk'

Modification history