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