we can use one more \exists in assoc-enough
authorHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 13:48:24 +0000 (14:48 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 13:48:24 +0000 (14:48 +0100)
commit2af4adb34bf68ab64227fc7189117540964559df
tree58a55905b7946b1a202c2f36c0781c5d03ff605f
parentdb5938ed22dc815720b88b62a51b5067e2b02740
we can use one more \exists in assoc-enough
Precond.agda