diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
| commit | aa280ca672aff145e811b79f4315ba200a09bad5 (patch) | |
| tree | ab6e3f4944c52a8ba928a2f1358084364762baf4 /Nominal/Instances/git@haschu.me:haschu | |
| parent | cc3483496781b10b6acd2450117b443d03957dc4 (diff) | |
define algebras
Diffstat (limited to 'Nominal/Instances/git@haschu.me:haschu')
0 files changed, 0 insertions, 0 deletions