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/Instances.lean | |
| parent | 7a4e25ebbc9e470650851299659860b4c07bff6b (diff) | |
define equivariance
Diffstat (limited to 'Nominal/Instances.lean')
| -rw-r--r-- | Nominal/Instances.lean | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Nominal/Instances.lean b/Nominal/Instances.lean index 215f3f9..e28fe28 100644 --- a/Nominal/Instances.lean +++ b/Nominal/Instances.lean @@ -1,5 +1,4 @@ import Mathlib -import Nominal.Permutations import Nominal.Support /-! |