@[deprecated "Use QuadraticForm.equivalent_weightedSumSquares_of_isAlgClosed" (since := "2026-01-19")]

theorem QuadraticForm.equivalent_sum_squares {M : Type u_1} [AddCommGroup M] [Module ℂ M] [FiniteDimensional ℂ M] (Q : QuadraticForm ℂ M) (hQ : LinearMap.SeparatingLeft (QuadraticMap.associated Q)) : QuadraticMap.Equivalent Q (QuadraticMap.weightedSumSquares ℂ 1)

@[deprecated "Use QuadraticForm.equivalent_of_isAlgClosed" (since := "2026-01-19")]

theorem QuadraticForm.complex_equivalent {M : Type u_1} [AddCommGroup M] [Module ℂ M] [FiniteDimensional ℂ M] (Q₁ Q₂ : QuadraticForm ℂ M) (hQ₁ : LinearMap.SeparatingLeft (QuadraticMap.associated Q₁)) (hQ₂ : LinearMap.SeparatingLeft (QuadraticMap.associated Q₂)) : QuadraticMap.Equivalent Q₁ Q₂