Theorem SimpleGraph.isAdjMatrix_adjMatrix

Modification history

2026-03-04 18:26

Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean

feat(Combinatorics/SimpleGraph/AdjMatrix): adjacency matrix API (#34601)

Modified SimpleGraph.isAdjMatrix_adjMatrix View on Github →

2023-04-05 14:36

Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean

feat: port Combinatorics.SimpleGraph.AdjMatrix (#3287)

Added SimpleGraph.isAdjMatrix_adjMatrix View on Github →