Theorem SimpleGraph.isBridge_iff_not_isEdgeReachable_two

Modification history

2026-06-05 15:27
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
refactor(SimpleGraph): change bridges not to require the edge to be present (#32583) …
Added SimpleGraph.isBridge_iff_not_isEdgeReachable_twoView on Github →