rewrite lemma-disjoint-union in a more compositional way
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 3 Jun 2015 12:12:06 +0000 (14:12 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 3 Jun 2015 12:12:06 +0000 (14:12 +0200)
commit94f6fbed8b04e95446c38d6ea89dcc9c3a64304b
tree6a1054861217dd3b8fde28b153ebf975d0e459e0
parent884870669c1271742e6f369cc5f2e9af5811e124
rewrite lemma-disjoint-union in a more compositional way
FinMap.agda