Remove `map` infix in lemmas about `dom` and `filter`.
The combination of
filter only makes sense for maps, so the
map infix is useless. Other similar lemmas do not have such an infix either, so it's also inconsistent.
dom_map filter →