Theorem SimpleGraph.Preconnected.subsingleton_connectedComponent

Modification history