Main conjecture for Heegner points

Let $\Lambda^{\rm ac}$ be the anticyclotomic Iwasawa algebra, let $\mathbf{T}$ be the big Galois representation, and suppose ${\rm Sel}_{\rm Gr}(\mathbf{T})$ is torsion-free of $\Lambda^{\rm ac}$-rank one. Via the canonical isomorphism

$$Q(\Lambda^{\rm ac})\otimes_{\Lambda^{\rm ac}}{\rm \det}_{\Lambda^{\rm ac}}^{-1}\widetilde{\mathbf{R}\Gamma}_f(\mathbf{T})\cong Q(\Lambda^{\rm ac})\otimes_{\Lambda^{\rm ac}}{\rm Sel}_{\rm Gr}(\mathbf{T})\otimes_{\Lambda^{\rm ac}}{\rm Sel}_{\rm Gr}(\mathbf{T})^\iota,$$

let $\widetilde{\mathfrak{z}}_{K_\infty}$ be the element mapping to $y_\infty\otimes y_\infty$, where $y_\infty$ is the $\Lambda$-adic Heegner class. Main conjecture for Heegner points. The element $\widetilde{\mathfrak{z}}_{K_\infty}$ is a $\Lambda^{\rm ac}$-basis of ${\rm \det}_{\Lambda^{\rm ac}}^{-1}\widetilde{\mathbf{R}\Gamma}_f(\mathbf{T})$. This is the determinant-line formulation of the anticyclotomic main conjecture relating Heegner classes to the Selmer complex; the source gives no resolution.