Julien Puydt (Dec 05 2022 at 17:44): Julien Puydt (Dec 05 2022 at 17:44):Why does it require the ranges to be disjoint? As far as I know the most common use of glueing is to define functions by cases, and the glued parts all have the very same target...
Cyril Cohen (Dec 05 2022 at 18:17):glue f g was built so that it is bijective if and only if f and g are. I did not see another way to make it happen.patch f g does the job you seem to have in mind.Last updated: Jan 30 2023 at 12:03 UTC