prove theorem-1 assuming a lemma-union-generate
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 13:59:32 +0000 (14:59 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 13:59:32 +0000 (14:59 +0100)
commite0f83c9ca1816a4c0b3c030bb2cd562156311ecd
treefff354d7ebeefa771080a05fe36ac4209c9665a2
parent7309d04bb2eb5bfcbf9eb1e7f1f92fc1bdd470f2
prove theorem-1 assuming a lemma-union-generate
Bidir.agda