Loading paper
A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus | Tomesphere