diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 14:42:16 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-11-22 14:42:16 +0100 |
| commit | 06408f9f1556b1eb88dcf2597e549fc122fdb508 (patch) | |
| tree | 6cf00762a2ed1b645958256bac322b95687256be /FinMap.agda | |
| parent | 352cb3b59e9bba15c3f899dbe5c3a5ef3dbc67ec (diff) | |
| download | bidiragda-06408f9f1556b1eb88dcf2597e549fc122fdb508.tar.gz | |
shorten line length of theorem-1
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions