Remark 7.3.7. Assume is obtained by the construction of Remark 7.2.5. A homotopy class of paths in is smooth if and only if it contains a path such that the composition is a smooth immersion.
Original source: arXiv:2009.09627v2
Original source: arXiv:2009.09627v2