{T P : E →ₗ[ℂ] E} {s : ℝ} (hcomm : ∀ x, T (P x) = P (T x)) (hT : T.IsSymmetric) : (sectorRestrict T P s hcomm).IsSymmetric

Initializing...

{T P : E →ₗ[ℂ] E} {s : ℝ} (hcomm : ∀ x, T (P x) = P (T x)) (hT : T.IsSymmetric) : (sectorRestrict T P s hcomm).IsSymmetric · Prove2Me