remove lemma-lookupM-insert-other in favour of lookup∘update′
authorHelmut Grohne <helmut@subdivi.de>
Tue, 2 Jan 2018 04:14:32 +0000 (05:14 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 2 Jan 2018 04:14:32 +0000 (05:14 +0100)
commit1b1c4927937f556d87b6c76c9b64d93a0230f269
tree6aa516e57b76852b820782548c678d72502b440c
parent3ab245029ac43720a71dfd9c9a15e91f2312f069
remove lemma-lookupM-insert-other in favour of lookup∘update′
CheckInsert.agda
FinMap.agda