Theorem SimpleGraph.ConnectedComponent.odd_card_supp_iff_odd_subcomponents

Modification history