:: deftheorem defines self-complementary GLIB_012:def 13 :
for G being _Graph holds
( G is self-complementary iff for H being GraphComplement of G holds H is G -isomorphic );