Equivariant K-homology of affine Grassmannian and K-theoretic double k-Schur functions | Synapse