prove the theorem-2
authorHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 16:05:47 +0000 (18:05 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 16:05:47 +0000 (18:05 +0200)
commit076752832dbb0989ea4a23a1edca0083db436892
treeb3c8975e0fcf583b46b78aa6573613b39552c110
parent1a8af12f97732cf087264f79483ee1d9aa035b3d
prove the theorem-2
Bidir.agda