Skip to content

feat: inducedGraph unaffected by deleting non-internal edges — #2965#2981

Merged
phasetr merged 2 commits into
mainfrom
feat/induce-deleteEdges-eq-2965
May 26, 2026
Merged

feat: inducedGraph unaffected by deleting non-internal edges — #2965#2981
phasetr merged 2 commits into
mainfrom
feat/induce-deleteEdges-eq-2965

Commits

Commits on May 26, 2026