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