feat(order/filter/basic): add filter.has_basis.bInter_mem (#15661) Use it to golf a few proofs.
filter.has_basis.bInter_mem