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