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)