feat(order/filter/basic): add filter.eventually_{eq,le}.prod_map (#13103)
filter.eventually_{eq,le}.prod_map