diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 11:59:31 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-05 11:59:31 +0100 |
| commit | 2b05019648523ab260b21e8f0199447b8124d332 (patch) | |
| tree | a6d37ef742d1de8fd85e04a67a21833ee26b73f4 /Bidir.agda | |
| parent | 87e863b864a75d89bb54f1f7a5522d24f0fa75fc (diff) | |
| download | bidiragda-2b05019648523ab260b21e8f0199447b8124d332.tar.gz | |
shrink lemma-tabulate-\circ using cong\_2
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions