diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-08-30 15:33:46 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-08-30 15:59:29 +0200 |
| commit | 359f4a9b2297558e26b82d3971810d12de607382 (patch) | |
| tree | 8652945075a39f128210b12d72e8993e6ffb38f9 /Bidir.agda | |
| parent | 7391996c5907714d75adba63c8a8063da77a655b (diff) | |
| download | bidiragda-359f4a9b2297558e26b82d3971810d12de607382.tar.gz | |
prove half of the bijection in LiftGet
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions