diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 16:32:44 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 16:35:37 +0000 |
| commit | ed2e037c8373f1c697ca46055523a72143b2a332 (patch) | |
| tree | d827e9827def6b3d2288fa3eff3ceb5c2c082082 /Everything.agda | |
| parent | 3d72d984c0a1aa60f137d5380ea49b1d5716ea48 (diff) | |
I: 2: b: show isomorphisms decomposeI-2-c
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions