{T : E →ₗ[ℂ] E} {P : E →ₗ[ℂ] E} {s : ℝ} (hT : T.IsSymmetric) {x : E} (hx : ‖x‖ = 1) (hmem : x ∈ paritySector P s) : sectorGround T P s ≤ rayleigh T x

Initializing...

{T : E →ₗ[ℂ] E} {P : E →ₗ[ℂ] E} {s : ℝ} (hT : T.IsSymmetric) {x : E} (hx : ‖x‖ = 1) (hmem : x ∈ paritySector P s) : sectorGround T P s ≤ rayleigh T x · Prove2Me