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.

Estimated changes