← all areas

Namespace SlashInvariantForm 2 theorems

• Trace to level M/p equals f + Uₚ(f∣ W⁻¹) SlashInvariantForm.coe_trace_gammaH_eq_add_heckeU_slash_alGL_inv 0 below · cited by 1 · depth 38
• Atkin–Lehner equivariance of the trace of slash-invariant forms SlashInvariantForm.coe_trace_slash_eq_coe_trace_of_coe_eq_slash 0 below · cited by 1 · depth 38