mathlib3

1e44add0 - feat(order/filter/countable_Inter): review (#11673)

feat(order/filter/countable_Inter): review (#11673) - drop `_sets` in more names; - add `filter.of_countable_Inter` and instances for `filter.map`/`filter.comap`; - add docs.