theorem Th182: :: GLENUM00:182

for G1, G2 being _Graph st G2 is G1 -isomorphic holds
G1 .allSpanningTrees() ,G2 .allSpanningTrees() are_isomorphic