Theorem SimpleGraph.isMaximalIndepSet_iff

Modification history

2025-01-11 18:54

Mathlib/Combinatorics/SimpleGraph/Clique.lean

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

Added SimpleGraph.isMaximalIndepSet_iff View on Github →