Add node-removal methods linear in node degree #1083
Merged
Mergify / Rule: automatic merge on CI success and review (queue)
succeeded
Apr 5, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 783f30c
Loading