Theorem SimpleGraph.isIsolated_bot

Modification history

2026-06-30 22:28
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat(SimpleGraph): add universal vertex predicate (#38589) …
Deleted SimpleGraph.isIsolated_botView on Github →
2026-06-14 19:00
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat(Combinatorics/SimpleGraph/Basic): more `neighborSet` and `IsIsolated` lemmas (#38747)
Added SimpleGraph.isIsolated_botView on Github →