2026-10-15 17:18
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph/Connectivity): simple graph is 2-edge-connected iff it has no bridge (#42839) …
Added SimpleGraph.isEdgeConnected_two_iff_forall_preconnected