chore: remove `@[grind =]` from `List.countP_eq_length_filter`#11542

kim-em merged 2 commits intomasterleanprover/lean4:masterfrom

rm_grind_countP_eq_length_filterleanprover/lean4:rm_grind_countP_eq_length_filterCopy head branch name to clipboard