:: deftheorem Def61 defines non-multi GLIB_000:def 78 :
for GSq being GraphSeq holds
( GSq is non-multi iff for x being Nat holds GSq . x is non-multi );