Commit 2024-02-27 07:41 6b17b3a9
View on Github →feat(Combinatorics/SimpleGraph/AdjMatrix): prove equation relating adjMatrix
with its compl
(#10992)
This is an equation that is used in many graph theory proofs. In particular, I want to use it in the proof of the Hoffman-Singleton theorem.