{A : Dom →ₗ[ℂ] F} {γ : ℂ} {X : F →L[ℂ] F} (hX : IsShiftInvertC A γ X) (hsym : SymmetricOn Dom A) (hγ : γ.im ≠ 0) (V : G →L[ℂ] F) (qX qXinv : F →L[ℂ] F) (qBinv : G...

Initializing...

{A : Dom →ₗ[ℂ] F} {γ : ℂ} {X : F →L[ℂ] F} (hX : IsShiftInvertC A γ X) (hsym : SymmetricOn Dom A) (hγ : γ.im ≠ 0) (V : G →L[ℂ] F) (qX qXinv : F →L[ℂ] F) (qBinv : G... · Prove2Me