Substitutability, equilibrium transport, and matching models | Arena Library | Arena