Def SimpleGraph.indepSetSet

Modification history

2025-01-11 18:54

Mathlib/Combinatorics/SimpleGraph/Clique.lean

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

Added SimpleGraph.indepSetSet View on Github →