Commit 2024-01-26 08:27 19ab970d
View on Github →feat: add PartialHomeomorph.extend_target' (#9977)
Inspired by sphere-eversion; similar to PartialEquiv.image_source_eq_target.
feat: add PartialHomeomorph.extend_target' (#9977)
Inspired by sphere-eversion; similar to PartialEquiv.image_source_eq_target.