:: deftheorem defines .allDPaths() GLIB_001:def 38 :
for G being _Graph holds G .allDPaths() = { W where W is directed Path of G : verum } ;