theorem Th174: :: GLENUM00:174

for G being connected _Graph
for H being spanning connected Subgraph of G holds H .allSpanningTrees() c= G .allSpanningTrees()