Slash invariant forms #
This file defines functions that are invariant under a
SlashAction which forms the basis for
CuspForm. We prove several instances for such spaces, in particular
that they form a module.
- coe_injective' : Function.Injective FunLike.coe
The slash invariant form of weight
k₁ + k₂ given by the product of two modular forms of