diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-24 14:26:35 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-24 14:26:35 -0500 |
| commit | 7de733feae4f391cc4738e23906e7d1f48bd2e0d (patch) | |
| tree | f0083844ff234498c95397bc1890304fc5fdc7bc /FinMerge | |
| parent | 1e5837c12480d1561361a2f6cb5296895f91dec3 (diff) | |
Add base case coequalizers in Nat
Diffstat (limited to 'FinMerge')
0 files changed, 0 insertions, 0 deletions