PR #10867: feat(combinatorics/simple_graph/inc_matrix): I...

Stream: triage

[Random Issue Bot]

Today I chose PR 10867 for discussion!

feat(combinatorics/simple_graph/inc_matrix): Incidence matrix
Created by @Yaël Dillies (@YaelDillies) on 2021-12-18
Labels: awaiting-author, delegated

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