The Wiles-Lenstra-Diamond numerical criterion over imaginary quadratic fields