Is Retrace (Munos, 2016) proved to converge with function approx. or only in tabular case? It is shown in the paper that Retrace (lambda) is a constractive mapping this should imply convergence. Without further details, this should only mean in a tabular case. Would it hold true for function approximation case e.g. neural networks as well?