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.

Estimated changes