Theorem Turing.Tape.map_mk'

Modification history