Commit 2026-01-05 07:54 eae0ea4f

feat(SimpleGraph): define and prove basic theory of vertex covers (#30129) Define a predicate IsVertexCover G C to state that C is a vertex cover of G. Furthermore, G.vertexCoverNum is the cardinality of the minimum vertex cover of G. Then prove the basic theory of how these definitions relate to the empty and complete graphs and their relationship with graph homs/isos.