diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 10:43:50 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 10:43:50 +0200 |
| commit | fe96f2d6674bda67b66d5c8c5ce7eea4e2b26031 (patch) | |
| tree | 45eabe1aca52186b84c65df167bba7c9a01c5ceb /Nominal/LambdaCalculus/git@haschu.me:haschu | |
| parent | 7a4e25ebbc9e470650851299659860b4c07bff6b (diff) | |
define equivariance
Diffstat (limited to 'Nominal/LambdaCalculus/git@haschu.me:haschu')
0 files changed, 0 insertions, 0 deletions