MDifferentiability of the weight 2 Eisenstein series

We show that the weight 2 Eisenstein series E2 is MDifferentiable (i.e. holomorphic as a function ℍ → ℂ). The proof uses the relation between E2 and the logarithmic derivative of the Dedekind eta function.

theorem E2_mdifferentiable : MDifferentiable (modelWithCornersSelf ℂ ℂ) (modelWithCornersSelf ℂ ℂ) EisensteinSeries.E2

The weight 2 Eisenstein series E2 is MDifferentiable