Theorem SimpleGraph.IsEdgeConnected.preconnected

Modification history

2025-12-26 18:30
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph): define edge-connectivity (#32870) …
Added SimpleGraph.IsEdgeConnected.preconnectedView on Github →