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