h/t @818 re: Hopf-Rinow Theorem [https://arxiv.org/pdf/1610… Twetch · July 25, 2020 h/t @818 re: Hopf-Rinow Theorem[https://arxiv.org/pdf/1610.01527.pdf] Replies Twetch · July 25, 2020 🙇♂️