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.Preconnected.connected_deleteEdges_of_not_isBridge