{T : E →ₗ[ℂ] E} (P : E →ₗ[ℂ] E) (s : ℝ) (hT : T.IsSymmetric) : BddBelow (sectorRayleighSet T P s)

Initializing...

{T : E →ₗ[ℂ] E} (P : E →ₗ[ℂ] E) (s : ℝ) (hT : T.IsSymmetric) : BddBelow (sectorRayleighSet T P s) · Prove2Me