Theorem SimpleGraph.isMaximumIndepSet_compl

Modification history

2025-01-11 18:54

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(Combinatorics/SimpleGraph): add independent sets (#18608) …

Added SimpleGraph.isMaximumIndepSet_compl View on Github →