Theorem Turing.Tape.mk'_right₀

Modification history