countp vs countP

Stream: mathlib4

[Scott Morrison]

List.countp has just been upstreamed to Std and renamed as List.countP. The mathlib patch is in the works, but there are still going to be many other occurrences of countp in parallel definitions for other types, etc. Could someone take that on?

Scratch that, easier to do it all at once.