Def SimpleGraph.IndepSetFree

Modification history

2025-01-11 18:54

Mathlib/Combinatorics/SimpleGraph/Clique.lean

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

Added SimpleGraph.IndepSetFree View on Github →