Theorem SimpleGraph.IsCompl.adjMatrix_add_adjMatrix_eq_adjMatrix_completeGraph

Modification history

2026-03-04 18:26
Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean
feat(Combinatorics/SimpleGraph/AdjMatrix): adjacency matrix API (#34601)
Added SimpleGraph.IsCompl.adjMatrix_add_adjMatrix_eq_adjMatrix_completeGraphView on Github →