{G : Type*} [NormedAddCommGroup G] [InnerProductSpace ℂ G] [CompleteSpace G] {A : Dom →ₗ[ℂ] F} {γ : ℂ} {X : F →L[ℂ] F} (hX : IsShiftInvertC A γ X) (hsym : SymmetricOn Dom A) (hγ...

Initializing...

{G : Type*} [NormedAddCommGroup G] [InnerProductSpace ℂ G] [CompleteSpace G] {A : Dom →ₗ[ℂ] F} {γ : ℂ} {X : F →L[ℂ] F} (hX : IsShiftInvertC A γ X) (hsym : SymmetricOn Dom A) (hγ... · Prove2Me