This paper provides a mathematical foundation for independent random matching of a large population, as widely used in … is an almost-sure constant cross-sectional distribution of types in a large population, and moreover that the multi …