Derivatives of functions taking values in product types #
In this file we prove lemmas about derivatives of functions
f : 𝕜 → E × F and of functions
f : 𝕜 → (Π i, E i).
For a more detailed overview of one-dimensional derivatives in mathlib, see the module docstring of