Boundedness of precompact sets of metric measure spaces

Abstract

We give a detailed proof to Gromov’s statement that precompact sets of metric measure spaces are bounded with respect to the box distance and the Lipschitz order.