:: deftheorem Def13 defines acyclic GLIB_002:def 19 :
for GSq being GraphSeq holds
( GSq is acyclic iff for n being Nat holds GSq . n is acyclic );