This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
refactor(combinatorics/simple_graph/basic): Review delete_edges API#18257
Closed
YaelDillies wants to merge 1 commit intomasterfrom delete_edges_sdiff
+24-37
