theorem :: GLIB_013:41

for G being _Graph holds G .minInDegree() c= G .minDegree()