Theorem SimpleGraph.ConnectedComponent.Represents.image_out

Modification history