diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-17 22:17:02 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-17 22:17:02 +0200 |
| commit | 99e4f3024fd5542b6f33ed3b756db6eb97201c39 (patch) | |
| tree | 88d72db8cb56f4c82c60044396aa25e0f53b5728 /CheckInsert.agda | |
| parent | dd4bbd5d31c003a054f676b859012105be81394b (diff) | |
| download | bidiragda-99e4f3024fd5542b6f33ed3b756db6eb97201c39.tar.gz | |
save a with in lemma-\inn-lookupM-assoc
Since \negp can be written as i\innis \circ here.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions