Commit 2024-10-31 02:46 422ea74d
View on Github →chore(Computability/TuringMachine): change uses of get(?) to getElem(?) (#18367)
Update Computability/TuringMachine to not use deprecated List.get and List.get? lemmas.
In addition, a couple missing lemmas were added to Data/List/GetD to
support this change.