Theorem SimpleGraph.ConnectedComponent.Represents.ConnectedComponent.even_ncard_supp_sdiff_rep

Modification history