:: deftheorem defines with_min_out_degree GLIB_013:def 17 :
for G being _Graph
for v being Vertex of G holds
( v is with_min_out_degree iff v .outDegree() = G .minOutDegree() );