PR #7498: feat(combinatorics/simple_graph/inc_matrix): ad...

Stream: triage

[Random Issue Bot]

Today I chose PR 7498 for discussion!

feat(combinatorics/simple_graph/inc_matrix): add definitions and API …
Created by @None (@gabrielmoise) on 2021-05-04
Labels: awaiting-author

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