`BookProof.ShiftedQuadraticMatrix.shiftedHMatOp_stone_flow` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (hdet : IsUnit A.det) (b b' : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoi

Initializing...

`BookProof.ShiftedQuadraticMatrix.shiftedHMatOp_stone_flow` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (hdet : IsUnit A.det) (b b' : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoi · Prove2Me