Def SimpleGraph.incMatrix

Modification history

2025-06-25 16:13
Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean
refactor: make `SimpleGraph.incMatrix` computable (#25659) …
Added SimpleGraph.incMatrixView on Github →