theorem Th108: :: GLENUM00:108

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