A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
About Graph Complements
SummaryThis article formalizes different variants of the complement graph in the Mizar system , based on the formalization of graphs in .doi:10.2478/forma-2020-0004 fatcat:l4mvhzpecbg6tmztkqs5cykaa4