theorem Th172: :: GLENUM00:172

for G being _Graph holds
( G is Tree-like iff G | _GraphSelectors in G .allSpanningTrees() )