Theorem SimpleGraph.ConnectedComponent.map_comp

Modification history