The exponential map of a C1,1C1,1-metric

Given a pseudo-Riemannian metric of regularity C1,1C1,1 on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry.