∫ Утверждение Mathlib
isSquare_of_jacobiSym_eq_one
Mathlib.NumberTheory.LegendreSymbol.JacobiSymbol
URI: https://scilib.ai/kg/mathlib#ZMod.isSquare_of_jacobiSym_eq_one
∫ Утверждение Mathlib
Mathlib.NumberTheory.LegendreSymbol.JacobiSymbol
URI: https://scilib.ai/kg/mathlib#ZMod.isSquare_of_jacobiSym_eq_one