:: deftheorem defines self-Lcomplementary GLIB_012:def 11 :
for G being _Graph holds
( G is self-Lcomplementary iff for H being LGraphComplement of G holds H is G -isomorphic );