:: deftheorem defines .minOutDegree() GLIB_013:def 11 :
for G being _Graph holds G .minOutDegree() = meet { (v .outDegree()) where v is Vertex of G : verum } ;