`BookProof.ShiftedQuadraticMatrix.shiftedHMatOp_not_bounded` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (hdet : IsUnit A.det) (b b' : Fin d → ℝ) (i : Fin d) : ¬ ∃ C : ℝ, ∀

Initializing...

`BookProof.ShiftedQuadraticMatrix.shiftedHMatOp_not_bounded` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (hdet : IsUnit A.det) (b b' : Fin d → ℝ) (i : Fin d) : ¬ ∃ C : ℝ, ∀ · Prove2Me