refactor(order/filter/pointwise): Localize instances (#13898)
refactor(order/filter/pointwise): Localize instances (#13898)

Localize pointwise `filter` instances into the `pointwise` locale, as is done for `set` and `finset`.





leanprover-community/mathlib,leanprover-community/mathlib