rename

datokrat · datokrat · commit 6e27a4f6fd64 · 2026-01-26T13:34:32.000+01:00
diff --git a/HumanEvalLean/HumanEval128.lean b/HumanEvalLean/HumanEval128.lean
@@ -130,7 +130,7 @@ example : prodSigns₂ [-1, 1, 1, 0] = some 0 := by native_decide
 ## Verification 2
 -/
 
-theorem prodSigns₂_of_nil :
+theorem prodSigns₂_nil :
     prodSigns₂ [] = none := by
   grind [prodSigns₂]
 
