Infinitesimal Structure of Differentiability Spaces, and Metric Differentiation
We prove metric differentiation for differentiability spaces in the sense of Cheeger [10, 14, 27]. As corollarieswe give a new proof of one of the main results of [14], a proof that the Lip-lip constant of any Lip-lip space in the sense of Keith [27] is equal to 1, and new nonembeddability results.