Theorem SlashInvariantForm.coe_intCast

Modification history

2023-12-23 00:28
Mathlib/NumberTheory/ModularForms/SlashInvariantForms.lean
feat(ModularForm): Graded Ring instance on spaces of modular forms (#9164) …
Added SlashInvariantForm.coe_intCastView on Github →