shrink lemma-union-not-used using cong\_2
authorHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 11:03:57 +0000 (12:03 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 5 Jan 2013 11:03:57 +0000 (12:03 +0100)
commit55d4808670b0de9ecc117f81eb61b33b70d63536
tree0ee5072983829ec8984924a637a961ddee6af83d
parent2b05019648523ab260b21e8f0199447b8124d332
shrink lemma-union-not-used using cong\_2
Bidir.agda