From fe96f2d6674bda67b66d5c8c5ce7eea4e2b26031 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Thu, 23 Oct 2025 10:43:50 +0200
Subject: define equivariance

---
 Nominal/Instances.lean | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Nominal/Instances.lean')

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
 
 /-!
-- 
cgit v1.3.1