diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-02-09 15:33:38 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-02-09 15:33:38 +0100 |
| commit | ab5bd5693f85750462418566e0310cb42a6cf6b0 (patch) | |
| tree | dbdda7e0094b2741209a488f4f68173e8ca2d3f0 /FinMap.agda | |
| parent | af1cc6bc8685515ffbf269e420449219a105301c (diff) | |
| download | bidiragda-ab5bd5693f85750462418566e0310cb42a6cf6b0.tar.gz | |
formulate theorem-2
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions