avoid a sym in lemma-union-restrict
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:04:32 +0000 (16:04 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:04:32 +0000 (16:04 +0100)
commit925dbb2dac110d46130715464d7877b5b660ced0
treed5d663e78adebaecb89c3eabfb332a4ab4d1fdbe
parent7673d048da79e050474c4396bcbd57f2632bd939
avoid a sym in lemma-union-restrict
FinMap.agda