About Graph Complements

Summary This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].

[1]  Richard A. Gibbs.  Self-complementary graphs , 1974 .

[2]  Adam Naumowicz,et al.  Four Decades of Mizar , 2015, Journal of Automated Reasoning.

[3]  K. Retel.  The Class of Series-Parallel Graphs . Part II 1 , 2004 .