shrink lemma-map-lookupM-insert using cong\_2
authorHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 10:53:42 +0000 (11:53 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 10:53:42 +0000 (11:53 +0100)
commit87e863b864a75d89bb54f1f7a5522d24f0fa75fc
tree439b01d30289fc95b5275bc48d5641662a9819bd
parent0a5bb4e9d223f74858d8d9022f1169852899e81a
shrink lemma-map-lookupM-insert using cong\_2
Bidir.agda