Mean evolution of the core rotational splittings of RC stars as a function of the stellar mass, with bins of 0.2 M_⊙ (full lines, with the same color code as in Fig. 4). The black dotted line shows a scaling as Δν^4/3. Extrapolations of the mean rotation from the MS rotation rates are shown for similar mass bins (dashed lines). The blue dot-dashed line, for the [0.7, 0.9] M_⊙ mass bin, takes a 0.2-M_⊙ mass loss into account.