Set version of Menger theorem (source code)

= Set version of Menger theorem
{c}

For vertex sets $A,B$, the maximum number of pairwise vertex-disjoint $A$-$B$ paths equals the minimum size of a vertex set meeting every $A$-$B$ path.