Commit 2024-03-29 15:08 e899dfee

View on Github →

feat(Combinatorics/SimpleGraph): A graph has 3-clique iff it has a cycle of length 3 (#11434) This is nice to have because when combined with is3Clique_iff, we will be able to prove that a graph has a cycle by just proving that 3 vertices are pairwise adjacent.

Estimated changes