Theorem SimpleGraph.isIndepSet_neighborSet_of_triangleFree

Modification history

2025-04-30 12:59
Mathlib/Combinatorics/SimpleGraph/Clique.lean
style: further whitespace fixes (#24467) …
Modified SimpleGraph.isIndepSet_neighborSet_of_triangleFreeView on Github →
2025-04-27 13:12
Mathlib/Combinatorics/SimpleGraph/Clique.lean
chore(*): fix some `Decidable*`/`Fintype` assumptions (#24400) …
Modified SimpleGraph.isIndepSet_neighborSet_of_triangleFreeView on Github →
2025-01-11 18:54
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph): add independent sets (#18608) …
Added SimpleGraph.isIndepSet_neighborSet_of_triangleFreeView on Github →