theorem :: GLENUM00:187

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