P
Initializing...
(T : F →L[ℂ] F) : BddBelow (rayleighSet T) · Prove2Me