PR #18454: feat(combinatorics/simple graph/connectivity):...

Stream: triage

[Random Issue Bot]

Today I chose PR 18454 for discussion!

feat(combinatorics/simple graph/connectivity): lemmas about connectivity of subgraphs and induced graphs
Created by @Rémi Bottinelli (@bottine) on 2023-02-16
Labels: awaiting-review, t-combinatorics, modifies-synchronized-file

Is this PR still relevant? Any recent updates? Anyone making progress?