diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-26 16:14:52 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-26 16:14:52 +0200 |
| commit | e23173b45a08fde6dd2decdc2e985ec3df90231b (patch) | |
| tree | e9a9aa7c3c46d3f314f2520b077e4ebaf0adb82b /FinMap.agda | |
| parent | c1d4b4bd8d8c785a4745cb8be5d2b6094bd38def (diff) | |
| download | bidiragda-e23173b45a08fde6dd2decdc2e985ec3df90231b.tar.gz | |
rename suc-\== to suc-injective
This way of naming things is more similar to the standard library and to
my own \::-injective. Suggested by Andres Loeh.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions