theorem Th85: :: GLENUM00:85

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