diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-02-09 12:35:10 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-02-09 12:35:10 +0100 |
| commit | 7309d04bb2eb5bfcbf9eb1e7f1f92fc1bdd470f2 (patch) | |
| tree | 905bec1b00b5c8339cc8adc98caf579f7fc67c26 /FinMap.agda | |
| parent | eb6be3f9358e441fcee9256da5aae8915453f0a5 (diff) | |
| download | bidiragda-7309d04bb2eb5bfcbf9eb1e7f1f92fc1bdd470f2.tar.gz | |
started proving theorem-1
As in the bff paper expand s using lemma-map-denumerate-enumerate
and apply free-theorem-list-list to commute get and map.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions