Theorem Turing.Tape.mk'_right

Modification history