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