reduce useless case in lemma-map-lookupM-assoc
authorHelmut Grohne <helmut@subdivi.de>
Thu, 6 Dec 2012 23:08:07 +0000 (00:08 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 6 Dec 2012 23:08:07 +0000 (00:08 +0100)
commit68c735629c8e4390b861c94d56c5c7785b4ab179
tree91e971b69014febe391b1257818a5baf1593f32d
parentead32cdaae65f5b87bf0d6a6732239f52450becb
reduce useless case in lemma-map-lookupM-assoc
Bidir.agda