Theorem SimpleGraph.Reachable.reachable_deleteEdges_of_not_isBridge

Modification history

2026-09-04 03:28

Mathlib/Combinatorics/SimpleGraph/Connectivity/Connected.lean

feat(SimpleGraph/Connectivity/Connected): deleting a non-bridge edge preserves reachability (#43055) …

Added SimpleGraph.Reachable.reachable_deleteEdges_of_not_isBridge View on Github →