Theorem SimpleGraph.isBridge_iff_adj_and_not_isEdgeConnected_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) …
Deleted SimpleGraph.isBridge_iff_adj_and_not_isEdgeConnected_twoView on Github →
2025-12-26 18:30
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph): define edge-connectivity (#32870) …
Added SimpleGraph.isBridge_iff_adj_and_not_isEdgeConnected_twoView on Github →