Boundedness of precompact sets of metric measure spaces

Daisuke Kazukawa, Takumi Yokota

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.