Theorem SimpleGraph.ConnectedComponent.odd_oddComponents_ncard_subset_supp

Modification history