fix test

kim-em · kim-em · commit 2800eab80ce7 · 2025-12-08T14:04:40.000+11:00
diff --git a/tests/lean/run/grind_11081.lean b/tests/lean/run/grind_11081.lean
@@ -75,5 +75,6 @@ theorem countP_diff (hl : Subperm l₂ l₁) (p : α → Bool) :
     List.Perm.subperm_left,
     List.Sublist.subperm,
     List.Subperm.perm_of_length_le,
-    List.Perm.countP_congr
+    List.Perm.countP_congr,
+    List.countP_eq_length_filter
   ]

Original file line number	Diff line number	Diff line change
`@@ -75,5 +75,6 @@ theorem countP_diff (hl : Subperm l₂ l₁) (p : α → Bool) :`
`75`	`75`	`List.Perm.subperm_left,`
`76`	`76`	`List.Sublist.subperm,`
`77`	`77`	`List.Subperm.perm_of_length_le,`
`78`		`- List.Perm.countP_congr`
	`78`	`+ List.Perm.countP_congr,`
	`79`	`+ List.countP_eq_length_filter`
`79`	`80`	`]`