:: deftheorem defines FF:MaxFlow GLIB_005:def 21 :
for G being _finite natural-weighted WGraph
for sink, source being Vertex of G holds FF:MaxFlow (G,source,sink) = (FF:CompSeq (G,source,sink)) .Result() ;