Manifold differentiability of the Jacobi theta function

In this file we reformulate differentiability of the Jacobi theta function in terms of manifold differentiability.

TODO

Prove smoothness (in terms of Smooth).

theorem mdifferentiable_jacobiTheta : MDiff (jacobiTheta ∘ UpperHalfPlane.coe)