Supplementary materials for the Pontryagin Differentiable Programming paper A Proof of Lemma 5.1

Open in new window