:: deftheorem defines the_Source_of GLIB_000:def 8 :
for G being GraphStruct holds the_Source_of G = G . SourceSelector;