diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-10-25 12:53:19 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-10-25 12:53:19 +0200 |
| commit | 7dcad0cd17c75867c2ce10ac72c9863fb3ed2e94 (patch) | |
| tree | a0c6cca57eca277ff0d647d6d9fdab3e97146a3d /FreeTheorems.agda | |
| parent | f622e4cfa50a46761a7344c9ad980f983f5f42ec (diff) | |
| download | bidiragda-7dcad0cd17c75867c2ce10ac72c9863fb3ed2e94.tar.gz | |
rename lemma-from-just to just-injective
We already have suc-injective and \::-injective. Consistency!
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions