Infinite flags and Schubert polynomials | Synapse