formulate theorem-2
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:33:38 +0000 (15:33 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:33:38 +0000 (15:33 +0100)
commitab5bd5693f85750462418566e0310cb42a6cf6b0
treedbdda7e0094b2741209a488f4f68173e8ca2d3f0
parentaf1cc6bc8685515ffbf269e420449219a105301c
formulate theorem-2
Bidir.agda