diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 17:55:45 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 17:55:45 +0000 |
| commit | 2bc5a95f09b8f2f3537489a19254d9896bf47c7c (patch) | |
| tree | 33e7d19a96dc0a0d0952041cda662b861851d7fa /cat-theory.agda-lib | |
| parent | ed2e037c8373f1c697ca46055523a72143b2a332 (diff) | |
I: 4: a: prove retract hierarchy
Diffstat (limited to 'cat-theory.agda-lib')
0 files changed, 0 insertions, 0 deletions