feat(MultiTapeTM): Some lemmas about Turing machine tapes#768

fmontesi merged 1 commit into

leanprover:mainleanprover/cslib:mainfrom

crei:tape_lemmascrei/cslib:tape_lemmasCopy head branch name to clipboard