diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 11:53:42 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 11:53:42 +0100 |
| commit | 87e863b864a75d89bb54f1f7a5522d24f0fa75fc (patch) | |
| tree | 439b01d30289fc95b5275bc48d5641662a9819bd /FinMap.agda | |
| parent | 0a5bb4e9d223f74858d8d9022f1169852899e81a (diff) | |
| download | bidiragda-87e863b864a75d89bb54f1f7a5522d24f0fa75fc.tar.gz | |
shrink lemma-map-lookupM-insert using cong\_2
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions