Theorem SimpleGraph.adj_replaceVertex_iff_of_ne

Modification history

2024-01-04 07:13
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat: move `replaceVertex` to its own file (#9400)
Modified SimpleGraph.adj_replaceVertex_iff_of_neView on Github →
2023-10-14 07:05
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat: vertex replacement (#6808) …
Added SimpleGraph.adj_replaceVertex_iff_of_neView on Github →