Identities of ModularForms and SlashInvariantForms #
Collection of useful identities of modular forms.
theorem
SlashInvariantForm.vAdd_width_periodic
(N : ℕ)
(k n : ℤ)
(f : SlashInvariantForm (CongruenceSubgroup.Gamma N) k)
(z : UpperHalfPlane)
: