doc(order/filter/zero_and_bounded_at_filter): tinker with docstrings (#16874)
doc(order/filter/zero_and_bounded_at_filter): tinker with docstrings (#16874)

I found them a bit hard to understand.





leanprover-community/mathlib,leanprover-community/mathlib