:: deftheorem defines Tree-like GLIB_002:def 20 :
for GSq being GraphSeq holds
( GSq is Tree-like iff for n being Nat holds GSq . n is Tree-like );