tree 68de34125a4d70f38730f8efbc596c1c0b40257c
parent 8d789f7b63664d2b3128193f509d85862433252a
author Kim Morrison <kim@tqft.net> 1729555614 +1100
committer Kim Morrison <kim@tqft.net> 1729555614 +1100

chore: upstream List.modify, add lemmas, relate to Array.modify