${\mathrm{\Sigma }}_2^{\mu }$ is decidable for ${\mathrm{\Pi }}_2^{\mu }$

Given a ${\mathrm{\Pi }}_2^{\mu }$ formula of the modal $\mu$ calculus, it is decidable whether it is equivalent to a ${\mathrm{\Sigma }}_2^{\mu }$ formula.