diff --git a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
index 3208b7b2a0db2675efdce0c5c2ade714902f0800..49624d35ac715b06f3c8006fdde0784a351e958a 100644
--- a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
+++ b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
@@ -1,7 +1,7 @@
 package lisa.settheory
 
 import lisa.kernel.fol.FOL.*
-import lisa.utils.Helpers.{_{_, given}
+import lisa.utils.Helpers.{_, given}
 
 /**
  * Axioms for the Tarski-Grothendieck theory (TG)