feat(combinatorics/simple_graph/subgraph): delete vertices in a subgraph (#14403)
feat(combinatorics/simple_graph/subgraph): delete vertices in a subgraph (#14403)





leanprover-community/mathlib,leanprover-community/mathlib