Skip to content

feat: induced-union splits as disjoint sum under no cross edges — #2965#2977

Merged
phasetr merged 2 commits into
mainfrom
feat/induced-union-no-cross-2965
May 26, 2026
Merged

feat: induced-union splits as disjoint sum under no cross edges — #2965#2977
phasetr merged 2 commits into
mainfrom
feat/induced-union-no-cross-2965

Commits

Commits on May 26, 2026