  The goal of this article is to obtain a proof of the Main conjectures of
Iwasawa theory for rational elliptic curves over anticyclotomic extensions of
imaginary quadratic fields, under mild arithmetic assumptions, both in the case
where the rational prime $p$ is good ordinary or supersingular.
