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 application/pdf.
About Graph Complements
2020
Formalized Mathematics
Preserved Fulltext
SummaryThis article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].
doi:10.2478/forma-2020-0004
fatcat:l4mvhzpecbg6tmztkqs5cykaa4