`BookProof.ShiftedQuadraticDegenerate.exists_equilibrium_iff` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (w : Fin d → ℝ) : (∃ a : Fin d → ℝ, ∀ i, ∑ j, A i j * a j = w i) ↔

Initializing...

`BookProof.ShiftedQuadraticDegenerate.exists_equilibrium_iff` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (w : Fin d → ℝ) : (∃ a : Fin d → ℝ, ∀ i, ∑ j, A i j * a j = w i) ↔ · Prove2Me