PR #11095: feat(combinatorics/simple_graph/connectivity):...

Stream: triage

[Random Issue Bot]

Today I chose PR 11095 for discussion!

feat(combinatorics/simple_graph/connectivity): splitting walks, creating paths
Created by @Kyle Miller (@kmill) on 2021-12-28
Labels: awaiting-author

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