diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-22 11:22:01 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-22 11:22:01 -0600 |
| commit | d65d60fe31f0c25c7e845d66e37c47e4f22924e1 (patch) | |
| tree | 42d06990994e4ca34b42be5dd669b149d21ff67b /Coeq.agda | |
| parent | 94a6a0f847a2a1c02347bead7901656e4bd33fdb (diff) | |
Fill in omitted proof
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions