  We extend to the framework of locally $L^0$-convex modules some results from
classical convex analysis. Namely, randomized versions of Mazur lemma and
Krein-Smulian theorem under mild stability properties are provided.
