theorem Th176: :: GLENUM00:176

for G being _Graph
for H being removeLoops of G holds G .allSpanningTrees() = H .allSpanningTrees()