Formalization of a Stochastic Approximation Theorem

Open in new window