Theorem SimpleGraph.replaceVertex_self

Modification history

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