diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-28 12:42:37 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-28 12:42:37 -0600 |
| commit | 1fae89c1c06a9a4d6143cafa1afb932b94cc4b71 (patch) | |
| tree | 31661af5b2cb9e474e6bc84f0d3a9dec1271be12 /FinMerge.agda | |
| parent | d65d60fe31f0c25c7e845d66e37c47e4f22924e1 (diff) | |
Add coequalizer theorem
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions