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