Theorem SimpleGraph.ConnectedComponent.toSimpleGraph_hom_apply

Modification history