Theorem SimpleGraph.edgeSet_replaceVertex_of_adj

Modification history

2026-10-31 22:39
Mathlib/Combinatorics/SimpleGraph/Operations.lean
chore: remove straightforward redundant theorem hypotheses (#45526) …
Deleted SimpleGraph.edgeSet_replaceVertex_of_adjView on Github →
2024-01-13 20:57
Mathlib/Combinatorics/SimpleGraph/Operations.lean
feat: local graph operations (#9267)
Added SimpleGraph.edgeSet_replaceVertex_of_adjView on Github →