:: deftheorem defines with_min_degree GLIB_013:def 15 :
for G being _Graph
for v being Vertex of G holds
( v is with_min_degree iff v .degree() = G .minDegree() );