:: deftheorem defines self-Dcomplementary GLIB_012:def 12 :
for G being _Graph holds
( G is self-Dcomplementary iff for H being DGraphComplement of G holds H is G -Disomorphic );