The mixing conjecture under GRH