The subset \(^{\mathrm {reg}}_* \subset _*\)  is comeagre.


The proof is that of [1]}, with adaptations. The main adaptation is that Lemma REF  shows we have enough perturbations along \(V_K\)  to achieve transversality for curves contained entirely inside \(V_K\) .
