[Merged by Bors] - feat: generalize OpenPartialHomeomorph.Defs file to PartialHomeomorph#39084
Closed
scholzhannah wants to merge 27 commits into
Closed
[Merged by Bors] - feat: generalize OpenPartialHomeomorph.Defs file to PartialHomeomorph#39084scholzhannah wants to merge 27 commits into
OpenPartialHomeomorph.Defs file to PartialHomeomorph#39084scholzhannah wants to merge 27 commits into
Commits
Commits on May 19, 2026
- committed
- committed
- committed
- committed
- committed
Commits on May 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 28, 2026
Commits on Jun 5, 2026
Commits on Jun 10, 2026
- committed
Commits on Jun 17, 2026
- committed
- committed
- committed
- authored
- committed
- committed