Theorem SimpleGraph.top_connected

Modification history