import csimps

hargoniX · hargoniX · commit 91c90230648f · 2024-08-07T17:32:18.000+02:00
diff --git a/src/Std/Sat/CNF/Basic.lean b/src/Std/Sat/CNF/Basic.lean
@@ -5,6 +5,7 @@ Authors: Kim Morrison
 -/
 prelude
 import Init.Data.List.Lemmas
+import Init.Data.List.Impl
 import Std.Sat.CNF.Literal
 
 namespace Std
