diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 10:41:37 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 10:41:37 +0100 |
| commit | 0a5bb4e9d223f74858d8d9022f1169852899e81a (patch) | |
| tree | 3692d003d162100cded0ecd6a613727572954b1e /FinMap.agda | |
| parent | 06e16ec6a913f216ef43a3a32e7094c6e83d40ef (diff) | |
| download | bidiragda-0a5bb4e9d223f74858d8d9022f1169852899e81a.tar.gz | |
shrink base case of lemma-/notin-lookupM-assoc
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions