In this section we show that the quantitative injectivity of the evaluation map can be seen as a consequence of the injectivity of a Baum–Connes with a specific set of coefficients, as with surjectivity in the previous setting. Again, this is based on an argument presented in Oyono-Oyono–Yu [1]}.
