Theorem SimpleGraph.ConnectedComponent.odd_matches_node_outside

Modification history