∫ Утверждение Mathlib
mul_gaussSum_inv_eq_gaussSum
Mathlib.NumberTheory.GaussSum
URI: https://scilib.ai/kg/mathlib#mul_gaussSum_inv_eq_gaussSum
∫ Утверждение Mathlib
Mathlib.NumberTheory.GaussSum
URI: https://scilib.ai/kg/mathlib#mul_gaussSum_inv_eq_gaussSum