feat(SimpleGraph): add max-flow/min-cut weak duality#34028

Open

floor-licker wants to merge 9 commits intoleanprover-community:masterfrom

floor-licker:mfmc-wip

Commits on Jan 16, 2026

Add Max-Flow/Min-Cut weak duality
floor-licker
committed

Commits on Jan 17, 2026

Update Mathlib/Combinatorics/SimpleGraph/Connectivity/MaxFlowMinCut.lean

floor-licker
and
SnirBroshi
authored
fix(SimpleGraph/Connectivity): make Flow supported on edges
floor-licker
committed
refactor(SimpleGraph/Connectivity): use ℤ capacities for Flow
floor-licker
committed
refactor: generalize to α
floor-licker
committed
lint: lake exe mk_all
floor-licker
committed
fix: replace obsolete LinearOrderedAddCommGroup assumption
floor-licker
committed
fix(SimpleGraph/Connectivity): update MaxFlowMinCut for new big-operator binders
floor-licker
committed
fix: docs + API cleanup for SimpleGraph max-flow/min-cut weak duality
floor-licker
committed