Theorem SimpleGraph.not_adj_replaceVertex_same

Modification history

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