remove lemma-\in-lookupM-assoc
-rw-r--r-- 11 .gitignore
-rw-r--r-- 20093 Bidir.agda
-rw-r--r-- 6487 FinMap.agda