∫ Утверждение Mathlib
slash_action_eqn
Mathlib.NumberTheory.ModularForms.SlashInvariantForms
URI: https://scilib.ai/kg/mathlib#SlashInvariantForm.slash_action_eqn
∫ Утверждение Mathlib
Mathlib.NumberTheory.ModularForms.SlashInvariantForms
URI: https://scilib.ai/kg/mathlib#SlashInvariantForm.slash_action_eqn