trim lemma-union-restrict
authorHelmut Grohne <helmut@subdivi.de>
Thu, 18 Apr 2013 14:32:37 +0000 (16:32 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 18 Apr 2013 14:32:37 +0000 (16:32 +0200)
commit66ff6ff465825e1fe0d5b2d65b3d3860dedae97d
tree3b4d63eff5fbeb915ea5d3a77381007fadc08f3a
parent45d54c7cec9e384399d283d38a1f96a890ec952f
trim lemma-union-restrict
FinMap.agda