Talk:Open Subset of Locally Path-Connected Space is Locally Path-Connected

This proof is structurally identical to the proof that an open subset of a locally connected space is locally connected. Should this pair of results be refactored to highlight this commonality? --Wpcavendish (talk) 17:49, 31 March 2022 (UTC)


 * You wrote both, so you're probably the best person to make that call. If you can extract lemmata that can be used by both, feel free to do so.
 * Please attempt to be rigorous in adherence to house rules regarding source code style. --prime mover (talk) 18:56, 31 March 2022 (UTC)