is there any theoretical result which says that use the minimum of the cross-validation as value for the lasso penalty is a good choice?
I would like something like $P(S_0 \subset \hat S_{lasso}(\lambda_{cv}))\rightarrow 1$ where $S_0$ is the set of true variable.
Where can I find it?