Equivariant K-theory of the variety of partial flags | Synapse