ClosedComplexUnion.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Glue a homeomorphism on one closed piece to the identity on a second closed piece, retaining the prescribed values on their intersection.