TY - RPRT TI - The isometry group of an $\mathsf{RCD}^*$-space is Lie AU - Gerardo Sosa PY - 2017 UR - https://arxiv.org/abs/1609.02098 ID - 1609.02098 ER -