∫ Утверждение Mathlib
equivalent_weightedSumSquares
Mathlib.LinearAlgebra.QuadraticForm.IsometryEquiv
URI: https://scilib.ai/kg/mathlib#QuadraticForm.equivalent_weightedSumSquares
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.QuadraticForm.IsometryEquiv
URI: https://scilib.ai/kg/mathlib#QuadraticForm.equivalent_weightedSumSquares