We study the connection between the Baum–Connes conjecture for an ample groupoid G with coefficient A and the Künneth formula for the K-theory of tensor products by the crossed product A ⋊r G. To do ...