diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-25 17:38:21 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-25 17:38:21 -0500 |
| commit | c3982b7fd9561fec34e60b28c0f20f03e9926f81 (patch) | |
| tree | 36f1c7ff1f01779cef94ce267c80413b40c20ac1 /FinMerge | |
| parent | 7de733feae4f391cc4738e23906e7d1f48bd2e0d (diff) | |
Define coequalizers and pushouts in Nat
Diffstat (limited to 'FinMerge')
0 files changed, 0 insertions, 0 deletions