shake

kim-em · kim-em · commit 7b2d9ab953bb · 2025-01-30T10:58:32.000+11:00
diff --git a/Mathlib/Data/List/ProdSigma.lean b/Mathlib/Data/List/ProdSigma.lean
@@ -5,7 +5,6 @@ Authors: Leonardo de Moura, Mario Carneiro
 -/
 import Mathlib.Data.List.Basic
 import Mathlib.Data.Prod.Basic
-import Mathlib.Data.Sigma.Basic
 
 /-!
 # Lists in product and sigma types
