Condition keyconj under nonempty root intersection
Let ΦA\Phi_AΦA and Ψλc+\Psi_{\lambda_{\mathbf c}}^+Ψλc+ be the sets defined by … and … Suppose that ΦA∩Ψλc+≠∅\Phi_A\cap\Psi_{\lambda_{\mathbf c}}^+\neq\emptysetΦA∩Ψλc+=∅. The conjecture. Condition is sati…