Redirecting to Seiberg–Witten invariant