theorem :: GLIB_012:121

for G being _Graph holds
( G is self-Lcomplementary iff ex H being LGraphComplement of G st H is G -isomorphic )