∫ Утверждение Mathlib
quadraticChar_ne_one
Mathlib.NumberTheory.LegendreSymbol.QuadraticChar.Basic
URI: https://scilib.ai/kg/mathlib#quadraticChar_ne_one
∫ Утверждение Mathlib
Mathlib.NumberTheory.LegendreSymbol.QuadraticChar.Basic
URI: https://scilib.ai/kg/mathlib#quadraticChar_ne_one