What does /mu mean here?

[xdotli]

[frozenca]

Please refer Exercise 8.4.
In Exercise 8.5, derivation of the formula is not exactly the same (because we have l_2 regularization term here), but the logic is almost the same