Theorem SimpleGraph.is3Clique_iff_exists_cycle_length_three

Modification history

2024-03-29 15:08
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph): A graph has 3-clique iff it has a cycle of length 3 (#11434) …
Added SimpleGraph.is3Clique_iff_exists_cycle_length_threeView on Github →