Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.IsEdgeConnected.connected
Modification history
2025-12-26 18:30
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph): define edge-connectivity (#32870) …
Added
SimpleGraph.IsEdgeConnected.connected
View on Github →