shrink lemma-tabulate-\circ using cong\_2
authorHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 10:59:31 +0000 (11:59 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 10:59:31 +0000 (11:59 +0100)
commit2b05019648523ab260b21e8f0199447b8124d332
treea6d37ef742d1de8fd85e04a67a21833ee26b73f4
parent87e863b864a75d89bb54f1f7a5522d24f0fa75fc
shrink lemma-tabulate-\circ using cong\_2
FinMap.agda