:: deftheorem Def62 defines non-Dmulti GLIB_000:def 79 :
for GSq being GraphSeq holds
( GSq is non-Dmulti iff for x being Nat holds GSq . x is non-Dmulti );