Theorem SimpleGraph.IsIndepSet.nonempty_mem_compl_mem_edge

Modification history

2025-01-11 18:54
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph): add independent sets (#18608) …
Added SimpleGraph.IsIndepSet.nonempty_mem_compl_mem_edgeView on Github →