diff --git a/src/main/scala/lisa/proven/mathematics/Peano.scala b/src/main/scala/lisa/proven/mathematics/Peano.scala
index 491e7a9eafe4af9ffbe252919d2444bac1add94d..78b3244ea950daf636386ed97399975ed72235ab 100644
--- a/src/main/scala/lisa/proven/mathematics/Peano.scala
+++ b/src/main/scala/lisa/proven/mathematics/Peano.scala
@@ -6,7 +6,7 @@ import lisa.kernel.proof.SCProof
 import lisa.kernel.proof.SequentCalculus.*
 import lisa.proven.PeanoArithmeticsLibrary
 import lisa.proven.tactics.ProofTactics.*
-import lisa.utils.Helpers.{*, given}
+import lisa.utils.Helpers.{_, given}
 import lisa.utils.Library
 import lisa.utils.Printer