Documentation

LeanPool.LeanModularForms.Modularforms.Uniformcts

Uniformcts #

Products of one plus a complex number #

We gather some results about the uniform convergence of the product of 1 + f n x for a sequence f n x or complex numbers.