Def SimpleGraph.walkLengthTwoEquivCommonNeighbors

Modification history

2024-07-16 09:12
Mathlib/Combinatorics/SimpleGraph/Connectivity.lean
chore: move 300 lines off Combinatorics/SimpleGraph/Connectivity (#14647) …
Modified SimpleGraph.walkLengthTwoEquivCommonNeighborsView on Github →
2023-08-20 20:55
Mathlib/Combinatorics/SimpleGraph/Connectivity.lean
feat: matrix equality of strongly regular graphs (#6507)
Added SimpleGraph.walkLengthTwoEquivCommonNeighborsView on Github →