Lemmas for total lookup operation `!!!`
View options
!97 (merged) has introduced a total version !!! of the lookup operation. We should add a bunch of lemmas relating !!! to the other list and map operations. For example, for insert on maps:
<i:=x> m !!! i = x