theorem Th166: :: GLENUM00:166

for G being _Graph holds G .allTrees() has_upper_Zorn_property_wrt SubtreeRel G