diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-10-25 13:37:31 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-10-25 13:37:31 +0200 |
| commit | 2d58e07b44098b13cbdb2da83e8fcc6b33616ac9 (patch) | |
| tree | 5509c3812b1c6c63190ad94824c66876b42744df /CheckInsert.agda | |
| parent | 7dcad0cd17c75867c2ce10ac72c9863fb3ed2e94 (diff) | |
| download | bidiragda-2d58e07b44098b13cbdb2da83e8fcc6b33616ac9.tar.gz | |
similarly rename lemma-from-map-just to map-just-injective
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions