theorem Th181: :: GLENUM00:181

for G1, G2 being _Graph st G2 is G1 -Disomorphic holds
G1 .allSpanningTrees() ,G2 .allSpanningTrees() are_Disomorphic