formulate lemma-2
authorHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:36:16 +0000 (22:36 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:36:16 +0000 (22:36 +0100)
commit0a34343e2cd20be26411af267a57b54fd300cf38
tree5bc0a14abf3209642614e6fbd2682ca2359c8df4
parent2f01bfa8f4580eb0777a66946c62dd5af6f2867c
formulate lemma-2
Bidir.agda